default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISSTA 2014: San Jose, CA, USA
- Corina S. Pasareanu, Darko Marinov:
International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014. ACM 2014, ISBN 978-1-4503-2645-2
Concurrency and Verification
- Lu Zhang, Chao Wang:
Runtime prevention of concurrency related type-state violations in multithreaded applications. 1-12 - Michael Pradel, Markus Huggler, Thomas R. Gross:
Performance regression testing of concurrent classes. 13-25 - Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev:
Verifying atomicity via data independence. 26-36 - Fabrizio Pastore
, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad:
Verification-aided regression testing. 37-48
Web Testing
- Omer Tripp, Pietro Ferrara, Marco Pistoia:
Hybrid security analysis of web JavaScript code via dynamic partial evaluation. 49-59 - Yunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, Zebao Gao:
Virtual DOM coverage for effective testing of dynamic web applications. 60-70 - Mehdi MirzaAghaei, Ali Mesbah:
DOM-based test adequacy criteria for web applications. 71-81 - Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso:
Cross-platform feature matching for web applications. 82-92
Artifact Studies
- Paul Dan Marinescu, Petr Hosek, Cristian Cadar:
Covrig: a framework for the analysis of code, test, and coverage evolution in real software. 93-104 - Marcel Böhme, Abhik Roychoudhury:
CoREBench: studying complexity of regression errors. 105-115
Static Analyses and Transformations
- Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri:
ARC++: effective typestate and lifetime dependency analysis. 116-126 - Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst:
A type system for format strings. 127-137 - Narcisa Andreea Milea, Lingxiao Jiang, Siau-Cheng Khoo:
Scalable detection of missed cross-function refactorings. 138-148 - Benoit Baudry, Simon Allier, Martin Monperrus:
Tailored source code transformations to synthesize computationally diverse program variants. 149-159
Test Selection and Reduction
- Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour:
Using test case reduction and prioritization to improve symbolic execution. 160-170 - Arnaud Gotlieb, Dusica Marijan:
FLOWER: optimal test suite reduction as a network maximum flow. 171-180 - Nadia Alshahwan, Mark Harman:
Coverage and fault detection of the output-uniqueness test selection criteria. 181-192 - Pablo S. Loyola, Matt Staats, In-Young Ko, Gregg Rothermel:
Dodona: automated oracle data set selection. 193-203
Localization and Repair
- Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, Sunghun Kim:
CrashLocator: locating crashing faults based on crash stacks. 204-214 - Zhiqiang Zuo, Siau-Cheng Khoo, Chengnian Sun:
Efficient predicated bug signature mining via hierarchical instrumentation. 215-224 - Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan:
Semantic differential repair for input validation and sanitization. 225-236 - Yiyan Lin, Sandeep S. Kulkarni:
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. 237-247
Security
- Andrew Henderson, Aravind Prakash, Lok-Kwong Yan, Xunchao Hu, Xujiewen Wang, Rundong Zhou, Heng Yin:
Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platform. 248-258 - Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand, Nadia Alshahwan:
Automated testing for SQL injection vulnerabilities: an input mutation approach. 259-269
UI Testing
- Stephan Arlt, Andreas Podelski, Martin Wehrle:
Reducing GUI test suites via program slicing. 270-281 - Adrian Nistor, Lenin Ravindranath:
SunCat: helping developers understand and predict performance problems in smartphone applications. 282-292 - José Angel Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, David Benavides:
A variability-based testing approach for synthesizing video sequences. 293-303 - Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra:
Robust test automation using contextual clues. 304-314
Efficiency and Optimizations
- René Just, Michael D. Ernst, Gordon Fraser:
Efficient mutation analysis by propagating and partitioning infected execution states. 315-326 - Benwen Zhang, James Clause:
Lightweight automated detection of unsafe information leakage via exceptions. 327-338 - Ding Li, Yuchen Jin, Cagri Sahin, James Clause, William G. J. Halfond:
Integrated energy-directed test suite optimization. 339-350 - Shiva Nejati, Lionel C. Briand:
Identifying optimal trade-offs between CPU time usage and temporal constraints using search. 351-361
Generation and Propagation
- Lingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid:
Feedback-driven dynamic invariant discovery. 362-372 - Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro:
Link: exploiting the web of data to generate test inputs. 373-384 - Sai Zhang, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, David Notkin:
Empirically revisiting the test independence assumption. 385-396 - Anna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, Neeraj Suri:
An empirical study of injected versus actual interface errors. 397-408
Tool Demonstrations
- Tariq M. King, Gabriel Nunez, Dionny Santiago, Adam Cando, Cody Mack:
Legend: an agile DSL toolset for web acceptance testing. 409-412 - Matthias Schur, Andreas Roth, Andreas Zeller:
ProCrawl: mining test models from multi-user web applications. 413-416 - Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso:
X-PERT: a web application testing tool for cross-browser inconsistency detection. 417-420 - Juan Pablo Galeotti, Gordon Fraser, Andrea Arcuri:
Extending a search-based test generator with adaptive dynamic symbolic execution. 421-424 - Zhenbo Xu, Jian Zhang, Zhongxing Xu, Jiteng Wang:
Canalyze: a static bug-finding tool for C programs. 425-428 - Duc Le, Mohammad Amin Alipour, Rahul Gopinath, Alex Groce:
MuCheck: an extensible tool for mutation testing of haskell programs. 429-432 - René Just:
The major mutation framework: efficient and scalable mutation analysis for Java. 433-436 - René Just, Darioush Jalali, Michael D. Ernst:
Defects4J: a database of existing faults to enable controlled testing studies for Java programs. 437-440 - Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst:
A format string checker for Java. 441-444 - Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Constructing coding duels in Pex4Fun and code hunt. 445-448
Doctoral Symposium
- Meixian Chen:
Reusing constraint proofs for scalable program analysis. 449-452 - Shabnam Mirshokraie:
Effective test generation and adequacy assessment for JavaScript-based web applications. 453-456 - Zhiqiang Zuo:
Efficient statistical debugging via hierarchical instrumentation. 457-460
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-11-23 19:40 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:
