default search action
ISSTA 2010: Trento, Italy
- Paolo Tonella, Alessandro Orso:
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 W. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.