1722 search results - page 48 / 345 » Generating Tests from Counterexamples |
108
click to vote
TC
2010
14 years 4 months ago
2010
Hybrid systems have emerged as an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. Under this paradigm, distr...
108
click to vote
ISSTA
2012
ACM
13 years 5 days ago
2012
ACM
Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random testing. Increased diversity leads to improved coverage and fault detec...
110
click to vote
CVPR
2005
IEEE
15 years 11 months ago
2005
IEEE
This paper presents a method for face recognition across large changes in viewpoint. Our method is based on a Morphable Model of 3D faces that represents face-specific information...
CPHYSICS
2008
14 years 9 months ago
2008
Abstract. Neutrino telescopes are opening new opportunities in observational high energy astrophysics. In these detectors, atmospheric muons from primary cosmic ray interactions in...
100
click to vote
ASE
2004
14 years 9 months ago
2004
TestEra is a framework for automated specification-based testing of Java programs. TestEra requires as input a Java method (in sourcecode or bytecode), a formal specification of th...