396 search results - page 6 / 80 » Using Refinement Checking as System Testing |
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
This paper describes an approach for conformance testing of mobile and distributed systems. The approach is based on kiltera — a novel, high-level language supporting the descri...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Designing concurrent or distributed systems with complex architectures while preserving a set of high-level requirements through all design steps is not a trivial task. Building up...
MVA
2000
13 years 11 months ago
2000
Content-based image retrieval is a fairly new discipline. Yet research in this field has highlighted many approaches that show good performance in specific subproblems using singl...
CAV
2003
Springer
14 years 1 months ago
2003
Springer
Thispapergivesashort overviewofa model checking tool forreal-time systems. The modeling language are timed automata extended with concepts for modular modeling. The tool provides r...
GI
2001
Springer
14 years 2 months ago
2001
Springer
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...