Enhancing Symbolic Execution with Veritesting.
The article on the Veritesting dynamic symbolic execution and path merging or static symbolic execution testing technique for automating software testing as a method of solving the "path explosion" problem is presented. The bug identification rate of MergePoint software with veritesting is compared...
| Published in: | Communications of the ACM Vol. 59; no. 6; pp. 93 - 101 |
|---|---|
| Main Authors: | , , , |
| Format: | Article |
| Published: |
Association for Computing Machinery
Jun2016
|
| Subjects: | |
| Online Access: | View this record in EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=115648854&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 115648854 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Jun2016 vid: 59 iid: 6 pid: 68 pub: Association for Computing Machinery artinfo: ui: 115648854 10.1145/2927924 ppf: 93 ppct: 8 formats: tig: atl: Enhancing Symbolic Execution with Veritesting. aug: au: Avgerinos, Thanassis Rebert, Alexandre Sang Kil Cha Brumley, David affil: AllSecure, Inc., Pittsburgh, PA Carnegie Mellon University, Pittsburgh, PA su: Automation Computer software testing Computer software execution Debugging Debian (Operating system) Algorithms sug: subj: Automation Computer software testing Computer software execution Debugging Debian (Operating system) Algorithms ab: The article on the Veritesting dynamic symbolic execution and path merging or static symbolic execution testing technique for automating software testing as a method of solving the "path explosion" problem is presented. The bug identification rate of MergePoint software with veritesting is compared to MergePoint without veritesting using Debian binaries and verification-based algorithms are presented as a technique to enhance symbolic execution. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2016 holdings: @attributes: islocal: N |
|---|