ISSTA A

34 papers

YearTitle / Authors
20086th workshop on parallel and distributed systems: testing and debugging (PADTAD '08).
Shmuel Ur, Scott D. Stoller, Eitan Farchi
2008A metric for software readability.
Raymond P. L. Buse, Westley Weimer
2008AFID: an automated fault identification tool.
Alex Edwards, Sean Tucker, Sébastien Worms, Rahul Vaidya, Brian Demsky
2008Are your votes
Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard A. Kemmerer, William K. Robertson, Fredrik Valeur, Giovanni Vigna
2008Automatic documentation inference for exceptions.
Raymond P. L. Buse, Westley Weimer
2008Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.
Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape
2008Comparing software metrics tools.
Rüdiger Lincke, Jonas Lundberg, Welf Löwe
2008Configuration-aware regression testing: an empirical study of sampling and prioritization.
Xiao Qu, Myra B. Cohen, Gregg Rothermel
2008Cooperative debugging with five hundred million test cases.
Ben Liblit
2008Customization change impact analysis for erp professionals via program slicing.
Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss
2008DEFECTS 2008: international workshop on defects in large software systems.
Premkumar T. Devanbu, Brendan Murphy, Nachiappan Nagappan, Thomas Zimmermann, Valentin Dallmeier
2008Dynamic inference of likely data preconditions over predicates by tree learning.
Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta
2008Dynamic recognition of synchronization operations for improved data race detection.
Chen Tian, Vijay Nagarajan, Rajiv Gupta, Sriraman Tallam
2008Dynamic test input generation for web applications.
Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su
2008Effective and scalable software compatibility testing.
Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A. Porter
2008Efficient solving of structural constraints.
Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid
2008Fault localization using value replacement.
Dennis Jeffrey, Neelam Gupta, Rajiv Gupta
2008Finding bugs in dynamic web applications.
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst
2008Finding bugs in java native interface programs.
Goh Kondoh, Tamiya Onodera
2008Finding errors in .net with feedback-directed random testing.
Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball
2008Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis.
Guoqing Xu, Atanas Rountev
2008Practical pluggable types for java.
Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst
2008Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008
Barbara G. Ryder, Andreas Zeller
2008Proofs from tests.
Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons
2008Racer: effective race detection using aspectj.
Eric Bodden, Klaus Havelund
2008Testing for buffer overflows with length abstraction.
Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar
2008The probabilistic program dependence graph and its application to fault diagnosis.
George K. Baah, Andy Podgurski, Mary Jean Harrold
2008The real value of testing.
James R. Larus
2008Universal symbolic execution and its application to likely data structure invariant generation.
Yamini Kannan, Koushik Sen
2008Using sensitivity analysis to create simplified economic models for regression testing.
Hyunsook Do, Gregg Rothermel
2008Verifying dereference safety via expanding-scope analysis.
Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda
2008WODA 2008: the sixth international workshop on dynamic analysis.
Ben Liblit, Atanas Rountev
2008Workshop on state-space exploration for automated testing (SSEAT 2008).
Darko Marinov, Wolfram Schulte
2008Workshop on testing, analysis and verification of web software (TAV-WEB 2008).
Tevfik Bultan, Tao Xie