Path feasibility, linear optimizers and the evaluate standard form
ACM SIGPLAN Notices
Using symbolic execution for verifying safety-critical systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Qualifying reusable functions using symbolic execution
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models
IEEE Transactions on Computers
CONSIT: a fully automated conditioned program slicer
Software—Practice & Experience
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
ConSUS: a light-weight program conditioner
Journal of Systems and Software - Special issue: Software reverse engineering
A new script language applicable to symbolic execution systems
International Journal of Computers and Applications
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Universal symbolic execution and its application to likely data structure invariant generation
ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Software testing research and practice
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Testability transformation: program transformation to improve testability
Formal methods and testing
Symbolic execution for software testing in practice: preliminary assessment
Proceedings of the 33rd International Conference on Software Engineering
Efficient, sensitivity resistant binary instrumentation
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Labeling library functions in stripped binaries
Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools
ICCS'05 Proceedings of the 5th international conference on Computational Science - Volume Part I
SAUML: A tool for symbolic analysis of UML-RT models
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Symbolic execution of UML-RT State Machines
Proceedings of the 27th Annual ACM Symposium on Applied Computing
| Hi-index | 0.01 |