Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
HOPL-II The second ACM SIGPLAN conference on History of programming languages
Model checking and abstraction
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Computing Surveys (CSUR)
Garbage collection: algorithms for automatic dynamic memory management
Garbage collection: algorithms for automatic dynamic memory management
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Automatic test data generation using constraint solving techniques
Proceedings of the 1998 ACM SIGSOFT international symposium on Software testing and analysis
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Hyperedge replacement graph grammars
Handbook of graph grammars and computing by graph transformation
Bucket elimination: a unifying framework for reasoning
Artificial Intelligence
Deterministic parsing of ambiguous grammars
Communications of the ACM
Types and programming languages
Types and programming languages
Principles of Program Analysis
Principles of Program Analysis
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Systematic Software Testing
Revised Report on the Algorithmic Language Scheme
Higher-Order and Symbolic Computation
IEEE Transactions on Software Engineering
An Empirical Evaluation of Weak Mutation
IEEE Transactions on Software Engineering
Using Static Analysis to Improve Automatic Test Generation
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Program Specialization via Program Slicing
Selected Papers from the Internaltional Seminar on Partial Evaluation
CC '99 Proceedings of the 8th International Conference on Compiler Construction, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'99
A Formal Approach to Conformance Testing
Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Specification Coverage Aided Test Selection
ACSD '03 Proceedings of the Third International Conference on Application of Concurrency to System Design
ICSE '81 Proceedings of the 5th international conference on Software engineering
Eclipse Modeling Framework
Constraint Processing
MDA Distilled
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))
Grid Computing: Software Environments and Tools
Grid Computing: Software Environments and Tools
Using symbolic execution to guide test generation: Research Articles
Software Testing, Verification & Reliability
Online testing with model programs
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
UML 2: a model-driven development tool
IBM Systems Journal - Model-driven software development
Principles of Constraint Programming
Principles of Constraint Programming
Testing transition systems with input and output testers
TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Generalized symbolic execution for model checking and testing
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Testing real-time multi input-output systems
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
FM'05 Proceedings of the 2005 international conference on Formal Methods
Online testing of real-time systems using UPPAAL
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Specifying and generating test cases using observer automata
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Erlang testing and tools survey
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Generating models of infinite-state communication protocols using regular inference with abstraction
ICTSS'10 Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems
On handling data in automata learning: considerations from the CONNECT perspective
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A new approach in model-based testing: designing test models in TTCN-3
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Inferring canonical register automata
VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
| Hi-index | 0.00 |
Conformiq Qtronic is a commercial tool for model driven testing. It derives tests automatically from behavioral system models. These are black-box tests [1] by nature, which means that they depend on the model and the interfaces of the system under test, but not on the internal structure (e.g. source code) of the implementation. In this essay, which accompanies my invited talk, I survey the nature of Conformiq Qtronic, the main implementation challenges that we have encountered and how we have approached them.