类 型
18 篇文献
 
for Program Modelling, Design and Verification Positioning the Research at UNU-IIST in Collaborative Research on the Verified Software Challenge  
This position paper presents our understanding of the Grand Challenge and proposes an agenda on how we will position our research to contribute to this world-wide collaborative research project.......
0次引用 0 0
Mutation testing in UTP  
This paper presents a theory of testing that integrates into Hoare and He's Unifying Theory of Programming (UTP). We give test cases a denotational semantics by viewing them as specication predicates.......
Formal Aspects of Computing  2009
5次引用 0 0
Integrating Theories and Techniques for Program Modelling, Design and Verification  
Abstract. This position paper presents our understanding of the Grand Challenge and proposes an agenda on how we will position our research to contribute to this world-wide collaborative research proj......
Verified Software: Theories, Tools, Experiments  2005
0次引用 0 0
Fault-Based Test Case Generation for Component Connectors  
The complex interactions appearing in service-oriented computing make coordination a key concern in service-oriented systems. In this paper, we present a fault-based method to generate test cases for ......
Theoretical Aspects of Software Engineering  2009
9次引用 0 0
Research on the Verified Software Challenge  
This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project.......
0次引用 0 0
From Faults Via Test Purposes to Test Cases: On the Fault-Based Testing of Concurrent Systems  
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable of detecting these an......
Fundamental Approaches to Software Engineering  2006
8次引用 0 0
Testing for Design Faults  
Existing theories of testing focus on verification. Their strategy is to cover a specification or a program text to a certain degree in order to raise the confidence in the correctness of a system und......
Formal Aspects of Computing  2005
8次引用 0 0
Fault-based Test Case Generation for Component Connectors  
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to generate test cases for c......
1次引用 0 0
Test Case Generation by OCL Mutation and Constraint Solving  
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable of detecting these an......
International Conference on Quality Software  2005
52次引用 0 0
UNU-IIST Annual Report 2003  
0次引用 0 0

1/2 第一页 上一页 1 2 下一页
Feedback
Feedback
Feedback
我想反馈:
排行榜