Publications
76 results found
Song J, Ma T, Cadar C, et al., 2011, Rule-based Verification of Network Protocol Implementations using Symbolic Execution, 20th International Conference on Computer Communications and Networks (ICCCN), Publisher: IEEE, ISSN: 1095-2055
- Author Web Link
- Cite
- Citations: 1
Cadar C, Godefroid P, Khurshid S, et al., 2011, Symbolic Execution for Software Testing in Practice - Preliminary Assessment, 33rd International Conference on Software Engineering (ICSE), Publisher: IEEE, Pages: 1066-1071
- Author Web Link
- Cite
- Citations: 128
Allwood T, Cadar C, Eisenbach S, 2011, High Coverage Testing of Haskell Programs, International Symposium on Software Testing and Analysis, Publisher: ACM, Pages: 375-385
This paper presents Irulan, a fully automatic tool designed to perform systematic gray-box unit testing of Haskell libraries. Through automatic code generation and execution, Irulan checks if there are any possible uses of a library's API that cause uncaught exceptions to be thrown. If such cases are found, Irulan returns a Haskell expression that triggers the error, to help programmers debug and fix their code. Irulan supports (and takes advantage of) the most important features of the Haskell language, such as lazy evaluation and polymorphism. In addition, it uses various exploration strategies and caching to more effectively explore the state space of the programs under testing. We evaluate Irulan on over 50 benchmarks from the nofib suite and show that it can effectively generate high-coverage test suites and find errors in these programs.
Collingbourne P, Cadar C, Kelly PHJ, 2011, Symbolic crosschecking of floating-point and SIMD code, New York, NY, USA, Publisher: ACM, Pages: 315-328
Cadar C, Pietzuch P, Wolf AL, 2010, Multiplicity computing: A vision of software engineering for next-generation computing platform applications, Pages: 81-85
New technologies have recently emerged to challenge the very nature of computing: multicore processors, virtualized operating systems and networks, and data-center clouds. One can view these technologies as forming levels within a new, global computing platform. We aim to open a new area of research, called multiplicity computing, that takes a radically different approach to the engineering of applications for this platform. Unlike other efforts, which are largely focused on innovations within specific levels, multiplicity computing embraces the platform as a virtually unlimited space of essentially redundant resources. This space is formed as a whole from the cross product of resources available at each level in the platform, offering a "multiplicity" of end-to-end resources. We seek to discover fundamentally new ways of exploiting the combinatorial multiplicity of computational, communication, and storage resources to obtain scalable applications exhibiting improved quality, dependability, and security that are both predictable and measurable. Copyright 2010 ACM.
Cadar C, Ganesh V, Pawlowski PM, et al., 2008, EXE: Automatically Generating Inputs of Death, ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY, Vol: 12, ISSN: 1094-9224
- Author Web Link
- Cite
- Citations: 222
Cadar C, Dunbar D, Engler D, 2008, KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs, Berkeley, CA, USA, 8th USENIX Symposium on Operating Systems Design and Implementation, Publisher: USENIX Association, Pages: 209-224
Akritidis P, Cadar C, Raiciu C, et al., 2008, Preventing Memory Error Exploits with WIT, Washington, DC, USA, SP 2008, Publisher: IEEE Computer Society, Pages: 263-277, ISSN: 1081-6011
Boonstoppel P, Cadar C, Engler D, 2008, RWset: Attacking path explosion in constraint-based test generation, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Publisher: SPRINGER-VERLAG BERLIN, Pages: 351-366, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 96
Cadar C, Ganesh V, Pawlowski PM, et al., 2006, EXE, CCS06: 13th ACM Conference on Computer and Communications Security 2006, Publisher: ACM
Yang J, Sar C, Twohey P, et al., 2006, Automatically generating malicious disks using symbolic execution, IEEE Symposium on Security and Privacy, Publisher: IEEE COMPUTER SOC, Pages: 243-+, ISSN: 1081-6011
- Author Web Link
- Cite
- Citations: 26
Cadar C, Ganesh V, Pawlowski PM, et al., 2006, EXE: automatically generating inputs of death., Publisher: ACM, Pages: 322-335
Rinard M, Cadar C, Nguyen HH, 2005, Exploring the acceptability envelope, OOPSLA05: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference, Publisher: ACM
Cadar C, Engler D, 2005, Execution generated test cases: How to make systems code crash itself, 12th International SPIN Workshop on Model Checking Software, Publisher: SPRINGER-VERLAG BERLIN, Pages: 2-23, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 81
Rinard M, Cadar C, Dumitran D, et al., 2004, A Dynamic Technique for Eliminating Buffer Overflow Vulnerabilities (and Other Memory Errors), 20th Annual Computer Security Applications Conference, Publisher: IEEE
Rinard M, Cadar C, Dumitran D, et al., 2004, Enhancing server availability and security through failure-oblivious computing, 6th Symposium on Operating Systems Design and Implementation (OSDI 04), Publisher: USENIX ASSOC, Pages: 303-316
This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.