2419 search results - page 119 / 484 » A Formal Approach to Software Testing |
125
Voted
ICST
2011
IEEE
14 years 7 months ago
2011
IEEE
—Test-suite augmentation for evolving software— the process of augmenting a test suite to adequately test software changes—is necessary for any program that undergoes modifi...
117
click to vote
QSIC
2009
IEEE
15 years 10 months ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
118
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
— Software programs continue to evolve throughout their lifetime. Maintenance of such evolving programs, including regression testing, is one of the most expensive activities in ...
107
click to vote
AAAI
2008
15 years 5 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...
128
Voted
FASE
2007
Springer
15 years 9 months ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...