Result 1 to 20 of 68 total
Practical, low-effort equivalence verification of real code. (English)
Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 669-685 (2011).
1
Using automatic persistent memoization to facilitate data analysis scripting (English)
ISSTA, 287-297 (2011).
2
Practical, low-effort equivalence verification of real code (English)
CAV, 669-685 (2011).
3
io-port 05748106 Bessey, Al;
Block, Ken;
Chelf, Benjamin;
Chou, Andy;
Fulton, Bryan;
Hallem, Seth;
Henri-Gros, Charles;
Kamsky, Asya;
Mcpeak, Scott;
Engler, Dawson R.
A few billion lines of code later: using static analysis to find bugs in the real world. (English)
Commun. ACM 53, No. 2, 66-75 (2010).
4
EXE: Automatically generating inputs of death. (English)
ACM Trans. Inf. Syst. Secur. 12, No. 2 (2008).
5
Lessons in the weird and unexpected: Some experiences from checking large real systems. (English)
Cuellar, Jorge (ed.) et al., FM 2008: Formal methods. 15th international symposium on formal methods, Turku, Finland, May 26‒30, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-68235-6/pbk). Lecture Notes in Computer Science 5014, 33-33 (2008).
6
RWset: Attacking path explosion in constraint-based test generation. (English)
Ramakrishnan, C. R. (ed.) et al., Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29‒April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78799-0/pbk). Lecture Notes in Computer Science 4963, 351-366 (2008).
7
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs (English)
OSDI, 209-224 (2008).
8
Rwset: attacking path explosion in constraint-based test generation (English)
TACAS, 351-366 (2008).
9
Lessons in the weird and unexpected: some experiences from checking large real systems (English)
FM, 33 (2008).
10
A factor graph model for software bug finding (English)
IJCAI, 2510-2516 (2007).
11
Under-constrained execution: making automatic code destruction easy and scalable (English)
ISSTA, 1-4 (2007).
12
A system’s hackers crash course: techniques that find lots of bugs in real (Storage) system code (English)
FAST (2007).
13
Using model checking to find serious file system errors. (English)
ACM Trans. Comput. Syst. 24, No. 4, 393-423 (2006).
14
Automatically generating malicious disks using symbolic execution (English)
IEEE Symposium on Security and Privacy, 243-257 (2006).
15
EXPLODE: A lightweight, general system for finding serious storage system errors (English)
OSDI, 131-146 (2006).
16
From uncertainty to belief: inferring the specification within (English)
OSDI, 161-176 (2006).
17
EXE: automatically generating inputs of death (English)
ACM Conference on Computer and Communications Security, 322-335 (2006).
18
Execution generated test cases: How to make systems code crash itself. (English)
Godefroid, Patrice (ed.), Model checking software. 12th international SPIN workshop, San Francisco, CA, USA, August 22‒24, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28195-9/pbk). Lecture Notes in Computer Science 3639, 2-23 (2005).
19
Static analysis versus model checking for bug finding. (English)
Abadi, Martín (ed.) et al., CONCUR 2005 ‒ concurrency theory. 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23‒26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28309-9/pbk). Lecture Notes in Computer Science 3653, 1 (2005).
20
Result 1 to 20 of 68 total
Start
Contact
Print
General Help
