Sciweavers

2026 search results - page 92 / 406
» Tools for Test Case Generation
Sort
View
77
Voted
IEAAIE
2005
Springer
15 years 6 months ago
A Holistic Approach to Test-Driven Model Checking
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
Fevzi Belli, Baris Güldali
114
Voted
GECCO
2010
Springer
163views Optimization» more  GECCO 2010»
15 years 4 months ago
Factors affecting the use of genetic algorithms in test suite augmentation
Test suite augmentation techniques are used in regression testing to help engineers identify code elements affected by changes, and generate test cases to cover those elements. R...
Zhihong Xu, Myra B. Cohen, Gregg Rothermel
WSC
2001
15 years 2 months ago
Software for uniform random number generation: distinguishing the good and the bad
The requirements, design principles, and statistical testing approaches of uniform random number generators for simulation are briefly surveyed. An objectoriented random number pa...
Pierre L'Ecuyer
95
Voted
DAC
1996
ACM
15 years 4 months ago
Characterization and Parameterized Random Generation of Digital Circuits
The development of new Field-Programmed, MaskProgrammed and Laser-Programmed Gate Array architectures is hampered by the lack of realistic test circuits that exercise both the arc...
Michael D. Hutton, Jerry P. Grossman, Jonathan Ros...
99
Voted
ICSE
2009
IEEE-ACM
15 years 5 months ago
Automating Structural Testing of C Programs: Experience with PathCrawler
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
Bernard Botella, Mickaël Delahaye, Sté...