作  者
期刊 & 会议
年  份
Bernhard K. Aichernig 的引文(272) 排序方式:
Generating Test Data from OCL Constraints with Search Techniques  
Model-based testing (MBT) aims at automated, scalable, and systematic testing solutions for complex industrial software systems. To increase chances of adoption in industrial contexts, software system......
IEEE Transactions on Software Engineering  2013
0次引用 0 0
Connectors as Designs: The Time Dimension  
Compositional coordination models and languages serve as a means to formally specify and implement component and service connectors. They support large-scale distributed applications by allowing const......
Theoretical Aspects of Software Engineering  2012
0次引用 0 0
Fault-based test suite prioritization for specification-based testing  
CONTEXT: Existing test suite prioritization techniques usually rely on code coverage information or historical execution data that serve as indicators for estimating the fault-detecting ability of tes......
Information and Software Technology  2012
0次引用 0 0
Passive conformance testing of service choreographies  
Choreography supports the specification, with a global perspective, of the interactions between the roles played by partners in a collaboration. These roles are the basis for the implementation of the......
ACM Symposium on Applied Computing  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
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints  
Model-based mutation testing uses altered models to generate test cases that are able to detect whether a certain fault has been implemented in the system under test. For this purpose, we need to chec......
International Conference on Software Testing, Verification, and Validation  2012
0次引用 0 0
Enhancing User Interface Testing Coverage Through Mutation  
The main advantage of using mutation in testing is to test and improve the system ability to detect bugs. It also helps improving coverage through exposing software or code areas that may not be expos......
IEEE Software  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
Integrating Model-Based Testing and Analysis Tools via Test Case Exchange  
Europe's industry in embedded system design is currently aiming for a better integration of tools that support their development, validation and verification processes. The idea is to combine model-dr......
Theoretical Aspects of Software Engineering  2012
0次引用 0 0
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints  
Model-based mutation testing uses altered models to generate test cases that are able to detect whether a certain fault has been implemented in the system under test. For this purpose, we need to chec......
International Conference on Software Testing, Verification, and Validation  2012
0次引用 0 0

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