2419 search results - page 258 / 484 » A Formal Approach to Software Testing |
140
click to vote
VAMOS
2009
Springer
15 years 10 months ago
2009
Springer
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
130
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
145
click to vote
CSMR
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Building comprehensive test suites for web applications poses new challenges in software testing. Coverage criteria used for traditional systems to assess the quality of ...
128
click to vote
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
Automatic techniques for software verification focus on obtaining witnesses of program failure. Such counterexamples often fail to localize the precise cause of an error and usuall...
144
click to vote
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...