ISSTA 2010: Trento, Italy

Paolo Tonella, Alessandro Orso (Eds.): Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010. ACM 2010, ISBN 978-1-60558-823-0

Technical session 1: formal verification and analysis

Patrice Godefroid, Johannes Kinder:
Proving memory safety of floating-point computations by combining static and dynamic program analysis. 1-12
Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang, Dongyan Xu:
Strict control dependence and its effect on dynamic information flow analyses. 13-24
Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias:
Analysis of invariants for efficient bounded verification. 25-36
Michael Carbin, Martin C. Rinard:
Automatically identifying critical input regions and code in applications. 37-48

Technical session 2: debugging

Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia:
Directed test generation for effective fault localization. 49-60
Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller:
Automated fixing of programs with contracts. 61-72
George K. Baah, Andy Podgurski, Mary Jean Harrold:
Causal inference for statistical fault localization. 73-84

Technical session 3: mining and taxonomies

Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller:
Generating test cases for specification mining. 85-96
Kinga Dobolyi, Westley Weimer:
Modeling consumer-perceived web application fault severities for testing. 97-106

Technical session 4: anomaly detection

Taeho Kwon, Zhendong Su:
Automatic detection of unsafe component loadings. 107-118
Natalie Gruska, Andrzej Wasylkowski, Andreas Zeller:
Learning from 6, 000 projects: lightweight cross-project anomaly detection. 119-130
Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su:
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. 131-142

Doctoral symposium

Zhen Ming Jiang:
Automated analysis of load testing results. 143-146

Technical session 5: test input generation and fuzzing

Gordon Fraser, Andreas Zeller:
Mutation-driven generation of unit tests and oracles. 147-158
Hojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang:
OCAT: object capture-based automated testing. 159-170
Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi:
Testing system virtual machines. 171-182

Technical session 6: symbolic execution

Matt Staats, Corina S. Pasareanu:
Parallel symbolic execution for structural test generation. 183-194
Raúl A. Santelices, Mary Jean Harrold:
Exploiting program dependencies for scalable multiple-path symbolic execution. 195-206
Brett Daniel, Tihomir Gvero, Darko Marinov:
On test repair using symbolic execution. 207-218

Technical session 7: empirical studies

Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand:
Formal analysis of the effectiveness and predictability of random testing. 219-230
Vesa Kettunen, Jussi Kasurinen, Ossi Taipale, Kari Smolander:
A study on agility and testing processes in software organizations. 231-240
Nathaniel Ayewah, William Pugh:
The Google FindBugs fixit. 241-252

Technical session 8: concurrency and differential testing

Dasarath Weeratunge, Xiangyu Zhang, William N. Sumner, Suresh Jagannathan:
Analyzing concurrency bugs using dual slicing. 253-264
Roberto Paleari, Lorenzo Martignoni, Giampaolo Fresi Roglia, Danilo Bruschi:
N-version disassembly: differential testing of x86 disassemblers. 265-274

Formal demos

Thomas J. Ostrand, Elaine J. Weyuker:
Software fault prediction tool. 275-278
Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson:
ASSURE: automated support for secure and usable requirements engineering. 279-282

Last update Fri May 25 08:24:24 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page