Sciweavers

589 search results - page 41 / 118
» Automated test generation for engineering applications
Sort
View
ICSE
2009
IEEE-ACM
14 years 2 months ago
JUnitMX - A change-aware unit testing tool
Developers use unit testing to improve the quality of software systems. Current development tools for unit testing help to automate test execution, to report results, and to gener...
Jan Wloka, Barbara G. Ryder, Frank Tip
EMSOFT
2008
Springer
13 years 9 months ago
Volatiles are miscompiled, and what to do about it
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
Eric Eide, John Regehr
ENTCS
2007
116views more  ENTCS 2007»
13 years 7 months ago
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa
ISSRE
2006
IEEE
14 years 1 months ago
Detecting Redundant Unit Tests for AspectJ Programs
Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspe...
Tao Xie, Jianjun Zhao, Darko Marinov, David Notkin
ICST
2009
IEEE
14 years 2 months ago
Inferring Types of References to GUI Objects in Test Scripts
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
Chen Fu, Mark Grechanik, Qing Xie