default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISSTA 2012: Minneapolis, MN, USA
- Mats Per Erik Heimdahl, Zhendong Su:
International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012. ACM 2012, ISBN 978-1-4503-1454-1
Dynamic Analysis
- Andreas Thies
, Eric Bodden:
RefaFlex: safer refactorings for reflective Java programs. 1-11 - Kristen Walcott-Justice, Jason Mars, Mary Lou Soffa:
THeME: a system for testing by hardware monitoring events. 12-22 - Hongtao Yu, Zhiyuan Li:
Multi-slicing: a compiler-supported parallel approach to data dependence profiling. 23-33
Web Applications
- Simon Holm Jensen, Peter A. Jonsson, Anders Møller:
Remedying the eval that men do. 34-44 - Nadia Alshahwan, Mark Harman:
State aware test case regeneration for improving web application test suite coverage and fault detection. 45-55 - Muath Alkhalaf, Shauvik Roy Choudhary, Mattia Fazzini, Tevfik Bultan, Alessandro Orso, Christopher Kruegel:
ViewPoints: differential string analysis for discovering client- and server-side input validation inconsistencies. 56-66
Test Generation
- Florian Gross, Gordon Fraser, Andreas Zeller:
Search-based system testing: high coverage, no false alarms. 67-77 - Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr:
Swarm testing. 78-88 - Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer:
Compositional load test generation for software pipelines. 89-99 - Cu D. Nguyen, Alessandro Marchetto, Paolo Tonella:
Combining model-based and combinatorial testing for effective test case generation. 100-110
Security
- Fangfang Zhang, Yoon-chan Jhi, Dinghao Wu, Peng Liu, Sencun Zhu:
A first step towards algorithm plagiarism detection. 111-121 - Davide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda:
A quantitative study of accuracy in system call-based malware detection. 122-132 - Juan Caballero, Gustavo Grieco, Mark Marron, Antonio Nappa:
Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities. 133-143
Symbolic Execution
- Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid:
Memoized symbolic execution. 144-154 - Jan Strejcek, Marek Trtík:
Abstracting path conditions. 155-165 - Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser:
Probabilistic symbolic execution. 166-176
Empirical Studies
- Zachary P. Fry, Bryan Landau, Westley Weimer:
A human study of patch maintainability. 177-187 - Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel:
Understanding user understanding: determining correctness of generated program invariants. 188-198 - Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand:
Empirical investigation of search algorithms for environment model-based testing of real-time embedded software. 199-209
Concurrency
- Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, Mary Jean Harrold:
Testing concurrent programs to achieve high synchronization coverage. 210-220 - Ke Zhai, Boni Xu, W. K. Chan, T. H. Tse:
CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications. 221-231 - Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan:
Cooperative types for controlling thread interference in Java. 232-242 - Sai Zhang, Hao Lü, Michael D. Ernst:
Finding errors in multithreaded GUI applications. 243-253
Static Analysis
- Yulei Sui, Ding Ye, Jingling Xue:
Static memory leak detection using full-sparse value-flow analysis. 254-264 - Michael Pradel, Severin Heiniger, Thomas R. Gross:
Static detection of brittle parameter typing. 265-275 - Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek:
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say. 276-286
Bug Detection and Diagnosis
- Aaron Tomb, Cormac Flanagan:
Detecting inconsistencies via universal reachability analysis. 287-297 - Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis:
Residual investigation: predictive and precise bug detection. 298-308 - Jeremias Rößler, Gordon Fraser, Andreas Zeller, Alessandro Orso:
Isolating failure causes through test case generation. 309-319
Regression Testing
- Mijung Kim, Jake Cobb, Mary Jean Harrold, Tahsin M. Kurç, Alessandro Orso, Joel H. Saltz, Andrew R. Post, Kunal Malhotra, Shamkant B. Navathe:
Efficient regression testing of ontology-driven systems. 320-330 - Lingming Zhang, Darko Marinov, Lu Zhang, Sarfraz Khurshid:
Regression mutation testing. 331-341
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 2025-01-24 17:18 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:
