Powered by
2014 International Symposium on Software Testing and Analysis (ISSTA),
July 21–25, 2014,
San Jose, CA, USA
Frontmatter
Main Research
Concurrency and Verification
Wed, Jul 23, 10:30 - 12:10, Almaden Ballroom (Chair: Sarfraz Khurshid)
Verifying Atomicity via Data Independence
Ohad Shacham, Eran Yahav, Guy Golan Gueta,
Alex Aiken, Nathan Bronson,
Mooly Sagiv, and
Martin Vechev
(Yahoo Labs, Israel; Technion, Israel; Stanford University, USA; Tel Aviv University, Israel; ETH Zurich, Switzerland)
Verification-Aided Regression Testing
Fabrizio Pastore, Leonardo Mariani, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, and Ali Muhammad
(University of Milano-Bicocca, Italy; University of Lugano, Switzerland; ABB Research, Germany; VTT Technical Research, Finland)
Web Testing
Wed, Jul 23, 13:30 - 15:10, Almaden Ballroom (Chair: Gregg Rothermel)
Artifact Studies
Wed, Jul 23, 15:40 - 16:30, Almaden Ballroom (Chair: Milos Gligoric)
Static Analyses and Transformations
Thu, Jul 24, 10:30 - 12:10, Almaden Ballroom (Chair: Satish Chandra)
ARC++: Effective Typestate and Lifetime Dependency Analysis
Xusheng Xiao, Gogul Balakrishnan, Franjo Ivančić, Naoto Maeda, Aarti Gupta, and Deepak Chhetri
(NEC Labs, USA; North Carolina State University, USA; Google, USA; NEC, Japan; NEC, India)
Test Selection and Reduction
Thu, Jul 24, 13:30 - 15:10, Almaden Ballroom (Chair: Neha Rungta)
Dodona: Automated Oracle Data Set Selection
Pablo Loyola, Matt Staats, In-Young Ko, and Gregg Rothermel
(University of Chile, Chile; University of Luxembourg, Luxembourg; KAIST, South Korea; University of Nebraska-Lincoln, USA)
Localization and Repair
Thu, Jul 24, 15:40 - 17:20, Almaden Ballroom (Chair: Indradeep Ghosh)
Security
Fri, Jul 25, 09:20 - 10:10, Almaden Ballroom (Chair: Alex Orso)
Make It Work, Make It Right, Make It Fast: Building a Platform-Neutral Whole-System Dynamic Binary Analysis Platform
Andrew Henderson, Aravind Prakash, Lok Kwong Yan, Xunchao Hu, Xujiewen Wang, Rundong Zhou, and Heng Yin
(Syracuse University, USA; Rome Laboratory, USA)
aec-badge-issta
UI Testing
Fri, Jul 25, 10:30 - 12:10, Almaden Ballroom (Chair: Andreas Zeller)
Efficiency and Optimizations
Fri, Jul 25, 13:30 - 15:10, Almaden Ballroom (Chair: Zhendong Su)
Generation and Propagation
Fri, Jul 25, 15:40 - 17:20, Almaden Ballroom (Chair: Oksana Tkachuk)
Feedback-Driven Dynamic Invariant Discovery
Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, and Sarfraz Khurshid
(University of Texas at Austin, USA; Texas State University, USA; NASA Ames Research Center, USA; NASA Langley Research Center, USA)
Tool Demonstrations
Wed, Jul 23, 18:00 - 22:00, Winchester Room
Doctoral Symposium
Tue, Jul 22, 11:20 - 14:50, Pacific Room
proc time: 0.74