Sciweavers

205 search results - page 3 / 41
» Test Case Prioritization Based on Analysis of Program Struct...
Sort
View
ERCIM
2008
78views more  ERCIM 2008»
13 years 5 months ago
Test Coverage Analysis and Preservation for Requirements-Based Testing
The testing process for safety-critical systems is usually evaluated with code coverage criteria such as MC/DC (Modified Condition/Decision Coverage) defined in the standard DO-17...
Raimund Kirner, Susanne Kandl
ISSRE
2003
IEEE
13 years 11 months ago
A New Software Testing Approach Based on Domain Analysis of Specifications and Programs
Partition testing is a well-known software testing technique. This paper shows that partition testing strategies are relatively ineffective in detecting faults related to small sh...
Ruilian Zhao, Michael R. Lyu, Yinghua Min
PTS
2010
167views Hardware» more  PTS 2010»
13 years 3 months ago
Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases
The addition of a cross-cutting concern in a program, through aspect weaving, has an impact on its existing behaviors. If test cases exist for the program, it is necessary to ident...
Romain Delamare, Freddy Munoz, Benoit Baudry, Yves...
ESEM
2007
ACM
13 years 7 months ago
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment
An important number of studies have addressed the importance of models in software engineering, mainly in the design of robust software systems. Although models have been proven t...
Samar Mouchawrab, Lionel C. Briand, Yvan Labiche
FATES
2003
Springer
13 years 11 months ago
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
Guoqing Xu, Zongyuang Yang