Sciweavers

3547 search results - page 147 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
180
Voted
APSEC
2004
IEEE
15 years 10 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu
191
Voted
SOQUA
2004
15 years 8 months ago
Scenario-based Component Testing Using Embedded Metadata
We present an approach for the use case and scenario-based testing of software components. Use cases and scenarios are applied to describe the functional requirements of a software...
Mark Strembeck, Uwe Zdun
KBSE
2010
IEEE
15 years 5 months ago
Automated program repair through the evolution of assembly code
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
Eric Schulte, Stephanie Forrest, Westley Weimer
223
Voted
ISSTA
2012
ACM
13 years 9 months ago
Residual investigation: predictive and precise bug detection
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
Kaituo Li, Christoph Reichenbach, Christoph Csalln...
ISSRE
2000
IEEE
15 years 11 months ago
ATACOBOL: A COBOL Test Coverage Analysis Tool and Its Applications
A coverage testing tool ATACOBOL (Automatic Test Analysis for COBOL) that applies data flow coverage technique is developed for software development on IBM System/390 mainframe. W...
Sam K. S. Sze, Michael R. Lyu