合 作 者
期刊 & 会议
年  份
Bernhard K. Aichernig 的论文(78) 排序方式:
Time for Mutants - Model-Based Mutation Testing with Timed Automata  
Tests and Proofs  2013
0次引用 0 0
Incremental Refinement Checking for Test Case Generation  
Tests and Proofs  2013
0次引用 0 0
Model-Based Mutation Testing of Reactive Systems - From Semantics to Automated Test-Case Generation  
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday  2013
0次引用 0 0
The Science of Killing Bugs in a Black Box - (Keynote Talk)  
Brazilian Symposium on Programming Languages  2012
0次引用 0 0
Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking  
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012.  2012
0次引用 0 0
Automated Verification of Executable UML Models  
We present a fully automated approach to verifying safety properties of Executable UML models (xUML). Our tool chain consists of a model transformation program which translates xUML models to the proc......
Algorithms  2012
0次引用 0 0
Connectors as designs: Modeling, refinement and test case generation  
Over the past years, the need for high-confidence coordination mechanisms has intensified as new technologies have appeared for the development of service-oriented applications, making formalization o......
Science of Computer Programming  2012
0次引用 0 0
Efficient Mutation Killers in Action  
This paper presents the techniques and results of a novel model-based test case generation approach that automatically derives test cases from UML state machines. Mutation testing is applied on the mo......
International Conference on Software Testing, Verification, and Validation  2011
0次引用 0 0
Compositional Random Testing Using Extended Symbolic Transition Systems  
IFIP International Conference on Testing of Communicating Systems  2011
0次引用 0 0
UML in action: a two-layered interpretation for testing  
This paper presents a novel model-based test case generation approach that automatically derives test cases from UML state machines. UML is given a two-layered formal semantics by (1) mapping UML cl......
ACM Sigsoft Software Engineering Notes  2011
1次引用 0 0

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