34 search results - page 1 / 7 » OSMOSE: automatic structural testing of executables |
33
Voted
STVR
2011
14 years 5 months ago
2011
75
Voted
TAP
2010
Springer
15 years 3 months ago
2010
Springer
Unit tests of object-oriented code exercise particular sequences of method calls. A key problem when automatically generating unit tests that achieve high structural code coverage ...
85
Voted
JSW
2007
14 years 10 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
RAID
2009
Springer
15 years 4 months ago
2009
Springer
In this paper, we present an accurate and realtime PE-Miner framework that automatically extracts distinguishing features from portable executables (PE) to detect zero-day (i.e. pr...
QSIC
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the gi...