483 search results - page 9 / 97 » Experimental Software Engineering: A Report on the State of ... |
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
CSMR
2007
IEEE
13 years 8 months ago
2007
IEEE
To maintain and understand large applications, it is crucial to know their architecture. The first problem is that unlike classes and packages, architecture is not explicitly rep...
SEFM
2005
IEEE
14 years 2 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
CLEF
2009
Springer
13 years 9 months ago
2009
Springer
This report outlines our participation in CLEF-IP's 2009 prior art search task. In the task's initial year our focus lay on the automatic generation of effective queries...
CSEE
2004
Springer
14 years 2 months ago
2004
Springer
Domain testing is a stratified sampling strategy for choosing a few test cases from the near infinity of candidate test cases. The strategy goes under several names, such as equiv...