483 search results - page 36 / 97 » Experimental Software Engineering: A Report on the State of ... |
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
KBSE
2005
IEEE
14 years 2 months ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
FATES
2003
Springer
14 years 1 months ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
SIGSOFT
2007
ACM
14 years 9 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
ICSE
2010
IEEE-ACM
13 years 10 months ago
2010
IEEE-ACM
This paper presents the results of an exploratory study on the fault-proneness of aspect-oriented programs. We analysed the faults collected from three evolving aspect-oriented sy...