2010 · 132 citations · 15 references
Software MaintenanceEngineeringSoftware EngineeringHome EditionSoftware AnalysisCertification ServiceTest AutomationSoftware EnvironmentAutomated SoftwareCloud-based ServiceSystem TestingSoftware ValidationSoftware CertificationComputer ScienceSoftware DesignTest FrameworkProgram AnalysisSoftware TestingAutomationCloud ComputingSystem Software
This paper makes the case for TaaS--automated software testing as a cloud-based service. We present three kinds of TaaS: a "programmer's sidekick" enabling developers to thoroughly and promptly test their code with minimal upfront resource investment; a "home edition" on-demand testing service for consumers to verify the software they are about to install on their PC or mobile device; and a public "certification service," akin to Underwriters Labs, that independently assesses the reliability, safety, and security of software.
15
Symbolic execution and program testing
James C. King · Communications of the ACM · 1976 · 2.9K citations · Full text
Patrice Godefroid, Nils Klarlund, Koushik Sen · ACM SIGPLAN Notices · 2005 · 2.1K citations
Patrice Godefroid, Nils Klarlund, Koushik Sen · 2005 · 1.5K citations
Automated Whitebox Fuzz Testing.
Patrice Godefroid, Michael Y. Levin, David A. Molnar · 2008 · 1K citations