合 作 者
期刊 & 会议
年  份
Bernhard K. Aichernig 的论文(78) 排序方式:
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
Validating Voice Communication Requirements Using Lightweight Formal Methods  
To show that lightweight approaches can facilitate the technological transfer of formal development methods, the authors report on their experience using VDM++ to specify a safety-critical air traffic......
IEEE Software  2000
19次引用 0 0
Mutation Testing in the Refinement Calculus  
Abstract. This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contracts ranging f......
Formal Aspects of Computing  2003
18次引用 0 0
A Proof Obligation Generator for VDM-SL  
. In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type checker must be inc......
World Congress on Formal Methods  1997
14次引用 0 0
Automated Conformance Verification of Hybrid Systems  
Due to the combination of discrete events and continuous behavior the validation of hybrid systems is a challenging task. Nevertheless, as for other systems the correctness of such hybrid systems is a......
International Conference on Quality Software  2010
12次引用 0 0
Towards a Coalgebraic Semantics of UML: Class Diagrams and Use Cases  
Classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31 4.3.2 Multiple Inheritance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 4.4 Templates . . . . . .......
 2003
10次引用 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
Systematic Black-Box Testing of Computer-Based Systems through Formal Abstraction Techniques  
In the past of computer science, sometimes, a gap between the testing and the formal methods community could be observed. Testers did not believe in the applicability of formal verification techniques......
 2001
9次引用 0 0
Automated Black-Box Testing with Abstract VDM Oracles  
Abstract. In this paper the possibilities to automate black-box testing through formal requirement speci cations are explored. More precisely, the formal method VDM (Vienna Development Method) serves ......
International Conference on Computer Safety, Reliability and Security  1999
8次引用 0 0
Component-Based Coalgebraic Specification and Verification in RSL  
Component-based sofware development has become a popular paradigm in software engineering. From the theoretical point of view, components can be seen as coalgebras. We present a coalgebraic technique ......
 2002
8次引用 0 0

1/8 第一页 上一页 1 2 3 4 5 6 7 下一页
Feedback
Feedback
Feedback
我想反馈:
排行榜