Powered by
Conference Publishing Consulting
2014 International Symposium on Software Testing and Analysis (ISSTA)
,
July 21–25, 2014
,
San Jose, CA, USA
ISSTA 2014 – Proceedings
Contents
-
Abstracts
-
Authors
Online Calendar
-
iCal File
Tool Demonstrations
Wed, Jul 23, 18:00 - 22:00, Winchester Room
Legend: An Agile DSL Toolset for Web Acceptance Testing
Tariq M. King, Gabriel Nunez, Dionny Santiago, Adam Cando, and Cody Mack
(Ultimate Software, USA)
Video
ProCrawl: Mining Test Models from Multi-user Web Applications
Matthias Schur, Andreas Roth, and
Andreas Zeller
(SAP, Germany; Saarland University, Germany)
X-PERT: A Web Application Testing Tool for Cross-Browser Inconsistency Detection
Shauvik Roy Choudhary, Mukul R. Prasad, and
Alessandro Orso
(Georgia Tech, USA; Fujitsu Labs, USA)
Video
Info
Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution
Juan Pablo Galeotti
, Gordon Fraser, and
Andrea Arcuri
(Saarland University, Germany; University of Sheffield, UK; Simula Research Laboratory, Norway)
Canalyze: A Static Bug-Finding Tool for C Programs
Zhenbo Xu,
Jian Zhang
, Zhongxing Xu, and Jiteng Wang
(University of Science and Technology of China, China; Institute of Software at Chinese Academy of Sciences, China; Beijing University of Posts and Telecommunications, China)
Video
Info
MuCheck: An Extensible Tool for Mutation Testing of Haskell Programs
Duc Le,
Mohammad Amin Alipour
,
Rahul Gopinath
, and
Alex Groce
(Oregon State University, USA)
The Major Mutation Framework: Efficient and Scalable Mutation Analysis for Java
René Just
(University of Washington, USA)
Defects4J: A Database of Existing Faults to Enable Controlled Testing Studies for Java Programs
René Just
, Darioush Jalali, and
Michael D. Ernst
(University of Washington, USA)
A Format String Checker for Java
Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, and Michael D. Ernst
(University of Washington, USA)
Info
Constructing Coding Duels in Pex4Fun and Code Hunt
Nikolai Tillmann, Jonathan de Halleux
,
Tao Xie
, and Judith Bishop
(Microsoft Research, USA; University of Illinois at Urbana-Champaign, USA)
proc time: 0.8