Automated software testing as a service

Proceedings of the 1st ACM Symposium on Cloud Computing, SoCC '10

Volumn , Issue , 2010, Pages 155-160

  Candea, George ^a   Bucur, Stefan ^a   Zamfir, Cristian ^a  

^a EPFL   (Switzerland)

Author keywords

Reliability

Indexed keywords

AUTOMATED SOFTWARE TESTING; AUTOMATED TESTING; AUTOMATICALLY TEST; CERTIFICATION SERVICES; ON-DEMAND;

AUTOMATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; DISTRIBUTED COMPUTER SYSTEMS; MOBILE DEVICES; SAFETY TESTING; SOFTWARE RELIABILITY; SOFTWARE TESTING; WEB SERVICES;

QUALITY ASSURANCE;

EID: 77954909980     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1807128.1807153     Document Type: Conference Paper

References (18)

1. C. Cadar, D. Dunbar, and D. R. Engler. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In Symp. on Operating Systems Design and Implementation, 2008.
2. C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler. EXE: Automatically generating inputs of death. In Conf. on Computer and Communication Security, 2006.
3. L. Ciortea, C. Zamfir, S. Bucur, V. Chipounov, and G. Candea. Cloud9: A software testing service. In Workshop on Large Scale Distributed Systems and Middleware, 2009.
4. P. Godefroid, N. Klarlund, and K. Sen. DART: Directed automated random testing. In Conf. on Programming Language Design and Implementation, 2005.
5. P. Godefroid, M. Y. Levin, and D. Molnar. Automated whitebox fuzz testing. Technical Report MSR-TR-2007-58, Microsoft Research, 2007.
6. P. Godefroid, M. Y. Levin, and D. Molnar. Automated Whitebox Fuzz Testing. In Network and Distributed System Security Symp., 2008.
7. Google Knol. http://knol.google.com.
8. P. J. Guo and D. Engler. Linux kernel developer responses to static analysis bug reports. In USENIX Annual Technical Conf., 2009.
9. G. J. Holzmann and D. Bosnacki. Multi-core model checking with SPIN. In Intl. Parallel and Distributed Processing Symp., 2007.
10. J. C. King. Symbolic execution and program testing. Communications of the ACM, 1976.
11. V. Kuznetsov, V. Chipounov, and G. Candea. Testing closed-source binary device drivers with DDT. In USENIX Annual Technical Conf., 2010.
12. R. Majumdar and K. Sen. Hybrid concolic testing. In Intl. Conf. on Software Engineering, 2007.
13. S. McConnell. Code Complete. Microsoft Press, 2004.
14. Microsoft. Driver verifier. http://www.microsoft.com/whdc/DevTools/tools, 2009.
15. S. Misailovic, A. Milicevic, N. Petrovic, S. Khurshid, and D. Marinov. Parallel test generation and execution with Korat. In Symp. on the Foundations of Software Eng., 2007.
16. Redhat security. http://www.redhat.com/security/updates/classification, 2005.
17. D. Saff and M. D. Ernst. Reducing wasted development time via continuous testing. In Intl. Symp. on Software Reliability Engineering, 2003.
18. C. Zamfir and G. Candea. Execution synthesis: A technique for automated debugging. In EUROSYS Conf., 2010.