SCG '93 Proceedings of the ninth annual symposium on Computational geometry
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Using Disparity to Enhance Test Generation for Hybrid Systems
TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Symbolic analysis for improving simulation coverage of Simulink/Stateflow models
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
Hybrid systems: from verification to falsification by combining motion planning and discrete search
Formal Methods in System Design
Falsification of LTL Safety Properties in Hybrid Systems
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Conformance Testing of Hybrid Systems with Qualitative Reasoning Models
Electronic Notes in Theoretical Computer Science (ENTCS)
MTL robust testing and verification for LPV systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Analog property checkers: a DDR2 case study
Formal Methods in System Design
A systematic approach to the test of combined HW/SW systems
Proceedings of the Conference on Design, Automation and Test in Europe
Falsification of temporal properties of hybrid systems using the cross-entropy method
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Goal-oriented stimulus generation for analog circuits
Proceedings of the 49th Annual Design Automation Conference
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on Probabilistic Embedded Computing
Hi-index | 0.00 |
We propose a novel test coverage measure for continuous and hybrid systems, which is defined using the star discrepancy notion. We also propose a test generation method guided by this coverage measure. This method was implemented in a prototype tool that can handle high dimensional systems (up to 100 dimensions).