589 search results - page 77 / 118 » Automated test generation for engineering applications |
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
PLDI
2011
ACM
12 years 10 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...
ICSE
2001
IEEE-ACM
14 years 4 days ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
23
Voted
MSS
2000
IEEE
14 years 2 days ago
2000
IEEE
The InTENsity PowerWall is a display system used for high-resolution visualization of very large volumetric data sets. The display is linked to two separate computing environments...