Abstract is missing.
- Runtime prevention of concurrency related type-state violations in multithreaded applicationsLu Zhang, Chao Wang. 1-12 [doi]
- Performance regression testing of concurrent classesMichael Pradel, Markus Huggler, Thomas R. Gross. 13-25 [doi]
- Verifying atomicity via data independenceOhad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev. 26-36 [doi]
- Verification-aided regression testingFabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad. 37-48 [doi]
- Hybrid security analysis of web JavaScript code via dynamic partial evaluationOmer Tripp, Pietro Ferrara, Marco Pistoia. 49-59 [doi]
- Virtual DOM coverage for effective testing of dynamic web applicationsYunxiao Zou, Zhenyu Chen, Yunhui Zheng, Xiangyu Zhang, Zebao Gao. 60-70 [doi]
- DOM-based test adequacy criteria for web applicationsMehdi MirzaAghaei, Ali Mesbah. 71-81 [doi]
- Cross-platform feature matching for web applicationsShauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso. 82-92 [doi]
- Covrig: a framework for the analysis of code, test, and coverage evolution in real softwarePaul Dan Marinescu, Petr Hosek, Cristian Cadar. 93-104 [doi]
- CoREBench: studying complexity of regression errorsMarcel Böhme, Abhik Roychoudhury. 105-115 [doi]
- ARC++: effective typestate and lifetime dependency analysisXusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri. 116-126 [doi]
- A type system for format stringsKonstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst. 127-137 [doi]
- Scalable detection of missed cross-function refactoringsNarcisa Andreea Milea, Lingxiao Jiang, Siau-Cheng Khoo. 138-148 [doi]
- Tailored source code transformations to synthesize computationally diverse program variantsBenoit Baudry, Simon Allier, Martin Monperrus. 149-159 [doi]
- Using test case reduction and prioritization to improve symbolic executionChaoqiang Zhang, Alex Groce, Mohammad Amin Alipour. 160-170 [doi]
- FLOWER: optimal test suite reduction as a network maximum flowArnaud Gotlieb, Dusica Marijan. 171-180 [doi]
- Coverage and fault detection of the output-uniqueness test selection criteriaNadia Alshahwan, Mark Harman. 181-192 [doi]
- Dodona: automated oracle data set selectionPablo Loyola, Matt Staats, In-Young Ko, Gregg Rothermel. 193-203 [doi]
- CrashLocator: locating crashing faults based on crash stacksRongxin Wu, Hongyu Zhang, Shing-Chi Cheung, Sunghun Kim. 204-214 [doi]
- Efficient predicated bug signature mining via hierarchical instrumentationZhiqiang Zuo, Siau-Cheng Khoo, Chengnian Sun. 215-224 [doi]
- Semantic differential repair for input validation and sanitizationMuath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan. 225-236 [doi]
- Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiabilityYiyan Lin, Sandeep S. Kulkarni. 237-247 [doi]
- Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platformAndrew Henderson, Aravind Prakash, Lok-Kwong Yan, Xunchao Hu, Xujiewen Wang, Rundong Zhou, Heng Yin. 248-258 [doi]
- Automated testing for SQL injection vulnerabilities: an input mutation approachDennis Appelt, Cu Duy Nguyen, Lionel C. Briand, Nadia Alshahwan. 259-269 [doi]
- Reducing GUI test suites via program slicingStephan Arlt, Andreas Podelski, Martin Wehrle. 270-281 [doi]
- SunCat: helping developers understand and predict performance problems in smartphone applicationsAdrian Nistor, Lenin Ravindranath. 282-292 [doi]
- A variability-based testing approach for synthesizing video sequencesJosé A. Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, David Benavides. 293-303 [doi]
- Robust test automation using contextual cluesRahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra. 304-314 [doi]
- Efficient mutation analysis by propagating and partitioning infected execution statesRené Just, Michael D. Ernst, Gordon Fraser. 315-326 [doi]
- Lightweight automated detection of unsafe information leakage via exceptionsBenwen Zhang, James Clause. 327-338 [doi]
- Integrated energy-directed test suite optimizationDing Li, Yuchen Jin, Cagri Sahin, James Clause, William G. J. Halfond. 339-350 [doi]
- Identifying optimal trade-offs between CPU time usage and temporal constraints using searchShiva Nejati, Lionel C. Briand. 351-361 [doi]
- Feedback-driven dynamic invariant discoveryLingming Zhang, Guowei Yang, Neha Rungta, Suzette Person, Sarfraz Khurshid. 362-372 [doi]
- Link: exploiting the web of data to generate test inputsLeonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro. 373-384 [doi]
- Empirically revisiting the test independence assumptionSai Zhang, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, David Notkin. 385-396 [doi]
- An empirical study of injected versus actual interface errorsAnna Lanzaro, Roberto Natella, Stefan Winter, Domenico Cotroneo, Neeraj Suri. 397-408 [doi]
- Legend: an agile DSL toolset for web acceptance testingTariq M. King, Gabriel Nunez, Dionny Santiago, Adam Cando, Cody Mack. 409-412 [doi]
- ProCrawl: mining test models from multi-user web applicationsMatthias Schur, Andreas Roth, Andreas Zeller. 413-416 [doi]
- X-PERT: a web application testing tool for cross-browser inconsistency detectionShauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso. 417-420 [doi]
- Extending a search-based test generator with adaptive dynamic symbolic executionJuan Pablo Galeotti, Gordon Fraser, Andrea Arcuri. 421-424 [doi]
- Canalyze: a static bug-finding tool for C programsZhenbo Xu, Jian Zhang, Zhongxing Xu, Jiteng Wang. 425-428 [doi]
- MuCheck: an extensible tool for mutation testing of haskell programsDuc Le, Mohammad Amin Alipour, Rahul Gopinath, Alex Groce. 429-432 [doi]
- The major mutation framework: efficient and scalable mutation analysis for JavaRené Just. 433-436 [doi]
- Defects4J: a database of existing faults to enable controlled testing studies for Java programsRené Just, Darioush Jalali, Michael D. Ernst. 437-440 [doi]
- A format string checker for JavaKonstantin Weitz, Siwakorn Srisakaokul, Gene Kim, Michael D. Ernst. 441-444 [doi]
- Constructing coding duels in Pex4Fun and code huntNikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop. 445-448 [doi]
- Reusing constraint proofs for scalable program analysisMeixian Chen. 449-452 [doi]
- Effective test generation and adequacy assessment for JavaScript-based web applicationsShabnam Mirshokraie. 453-456 [doi]
- Efficient statistical debugging via hierarchical instrumentationZhiqiang Zuo. 457-460 [doi]