default search action
ISSTA 2008: Seattle, WA, USA
- Barbara G. Ryder, Andreas Zeller:
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008. ACM 2008, ISBN 978-1-60558-050-0
Keynote
- James R. Larus:
The real value of testing. 1-2
Symbolic and concrete execution
- Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons
:
Proofs from tests. 3-14 - Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape:
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. 15-26 - Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar:
Testing for buffer overflows with length abstraction. 27-38 - Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid:
Efficient solving of structural constraints. 39-50
Regression testing
- Hyunsook Do, Gregg Rothermel:
Using sensitivity analysis to create simplified economic models for regression testing. 51-62 - Il-Chul Yoon, Alan Sussman
Effective and scalable software compatibility testing. 63-74 - Xiao Qu, Myra B. Cohen, Gregg Rothermel:
Configuration-aware regression testing: an empirical study of sampling and prioritization. 75-86
Case studies
- Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball:
Finding errors in .net with feedback-directed random testing. 87-96 - Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss:
Customization change impact analysis for erp professionals via program slicing. 97-108 - Goh Kondoh, Tamiya Onodera:
Finding bugs in java native interface programs. 109-118
Keynote
- Ben Liblit
Cooperative debugging with five hundred million test cases. 119-120
Metrics and threads
- Raymond P. L. Buse, Westley Weimer:
A metric for software readability. 121-130 - Rüdiger Lincke, Jonas Lundberg, Welf Löwe:
Comparing software metrics tools. 131-142 - Chen Tian, Vijay Nagarajan, Rajiv Gupta
Dynamic recognition of synchronization operations for improved data race detection. 143-154 - Eric Bodden
Racer: effective race detection using aspectj. 155-166
Fault localization
- Dennis Jeffrey, Neelam Gupta, Rajiv Gupta
Fault localization using value replacement. 167-178 - Alex Edwards, Sean Tucker, Sébastien Worms, Rahul Vaidya, Brian Demsky:
AFID: an automated fault identification tool. 179-188 - George K. Baah, Andy Podgurski, Mary Jean Harrold:
The probabilistic program dependence graph and its application to fault diagnosis. 189-200
Static analysis
- Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst:
Practical pluggable types for java. 201-212 - Alexey Loginov, Eran Yahav, Satish Chandra, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda:
Verifying dereference safety via expanding-scope analysis. 213-224 - Guoqing Xu, Atanas Rountev:
Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis. 225-236
Web and security
- Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard A. Kemmerer, William K. Robertson, Fredrik Valeur, Giovanni Vigna:
Are your votes really counted?: testing the security of real-world electronic voting systems. 237-248 - Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura
Dynamic test input generation for web applications. 249-260 - Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst:
Finding bugs in dynamic web applications. 261-272
Inference
- Raymond P. L. Buse, Westley Weimer:
Automatic documentation inference for exceptions. 273-282 - Yamini Kannan, Koushik Sen:
Universal symbolic execution and its application to likely data structure invariant generation. 283-294 - Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta
Dynamic inference of likely data preconditions over predicates by tree learning. 295-306
Workshops
- Premkumar T. Devanbu
DEFECTS 2008: international workshop on defects in large software systems. 307-308 - Shmuel Ur, Scott D. Stoller, Eitan Farchi:
6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). 309-310 - Tevfik Bultan, Tao Xie:
Workshop on testing, analysis and verification of web software (TAV-WEB 2008). 311-312 - Ben Liblit
WODA 2008: the sixth international workshop on dynamic analysis. 313-314 - Darko Marinov, Wolfram Schulte:
Workshop on state-space exploration for automated testing (SSEAT 2008). 315-316
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.
last updated on 2024-12-23 19:17 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: