• Publications
  • Influence
Software testing based on formal specifications: a theory and a tool
TLDR
This paper addresses the problem of constructing test data sets from formal specifications. Expand
  • 388
  • 18
  • PDF
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis
TLDR
We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number of loop iterations in the covered paths. Expand
  • 189
  • 16
  • PDF
On-the-fly generation of k-path tests for C functions
TLDR
We propose a novel method, called PathCrawler, for the automatic generation of structural tests satisfying the all-paths criterion or its k-path variant. Expand
  • 50
  • 10
  • PDF
Test sequences generation from LUSTRE descriptions: GATEL
  • B. Marre, A. Arnould
  • Computer Science
  • Proceedings ASE . Fifteenth IEEE International…
  • 11 September 2000
TLDR
We describe a test sequence generation method from LUSTRE descriptions and its companion tool, GATEL, for reactive control/command systems using constraint logic programming techniques. Expand
  • 141
  • 9
Improving the Floating Point Addition and Subtraction Constraints
TLDR
We introduce new addition and subtraction constraints which, thanks to a new floating point subtraction property, directly compute optimal bounds for the domain of the variables at a low cost. Expand
  • 39
  • 4
  • PDF
Real Behavior of Floating Point Numbers *
We present an efficient constraint programming (CP) approach to the SMTLIB theory of quantifier-free floating-point arithmetic (QF FP). We rely on dense interreduction between many domainExpand
  • 13
  • 4
  • PDF
Using algebraic specifications in software testing: A case study on the software of an automatic subway
TLDR
We use a formal specification of a piece of critical software as a basis to derive test data sets. Expand
  • 59
  • 2
Behind the scenes in SANTE: a combination of static and dynamic analyses
TLDR
This paper presents an innovative tool for verification of C programs called Sante (Static ANalysis and TEsting) where several tools based on heterogeneous techniques such as abstract interpretation, dependency analysis, program slicing, constraint solving and test generation can be combined within one tool. Expand
  • 19
  • 2
  • PDF
...
1
2
3
4
...