Refinement-Based CFG Reconstruction from Unstructured Programs -

Source URL: sebastien.bardin.free.fr

• Donald Knuth
• MIX
• Goto

Efficient Leveraging of Symbolic Execution to Advanced Coverage Criteria

Source URL: sebastien.bardin.free.fr

• Electronic design automation
• Logic in computer science
• NP-complete problems
• Abstract interpretation
• Symbolic execution
• Satisfiability Modulo Theories
• Solver
• Theoretical computer science
• Applied mathematics
• Formal methods

Structural Testing of Executables Motivations Machine code The Osmose Tool Test data generation

Source URL: sebastien.bardin.free.fr

• Procedural programming languages
• Software testing
• Holism
• Structured programming
• Test Data Generation
• C
• ALGOL 68
• Goto
• Software engineering
• Computing
• Computer programming

Symbolic methods for efficient mutation testing (work in progress)

Source URL: sebastien.bardin.free.fr

• Mutation
• Test Data Generation
• Consonant mutation
• Historical linguistics
• Software testing
• Linguistics
• Mutation testing

Binary-Level Testing of Embedded Programs

Source URL: sebastien.bardin.free.fr

• Homotopy theory
• Algebraic topology

Refinement-Based CFG Reconstruction from Unstructured Programs -

Source URL: sebastien.bardin.free.fr

PDF Document

Source URL: sebastien.bardin.free.fr

• Programming language implementation
• Computer programming
• Constraint programming
• Hardware verification languages
• Model-based testing
• Concolic testing
• Test Data Generation
• Compiler optimization
• Algorithm
• Computing
• Software engineering
• Software testing