Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISSTA 2013: Lugano, Switzerland
- Mauro Pezzè
, Mark Harman:
International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013. ACM 2013, ISBN 978-1-4503-2159-4
Contracts, Invariants, and Stability
- Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury:
Expressing and checking intended changes via software change contracts. 1-11 - Hana Chockler, Karine Even, Eran Yahav:
Finding rare numerical stability errors in concurrent computations. 12-22 - Nicolás Rosner, Juan P. Galeotti, Santiago Bermúdez, Guido Marucci Blas, Santiago Perez De Rosso, Lucas Pizzagalli, Luciano Zemín, Marcelo F. Frias:
Parallel bounded analysis in code with rich invariants by refinement of field bounds. 23-33
Fuzzing and GUI Testing
- Pranavadatta Devaki, Suresh Thummalapenta, Nimit Singhania, Saurabh Sinha:
Efficient and flexible GUI test execution via test merging. 34-44 - Sai Zhang, Hao Lü, Michael D. Ernst:
Automatically repairing broken workflows for evolving GUI applications. 45-55 - Petar Tsankov, Mohammad Torabi Dashti, David A. Basin:
Semi-valid input coverage for fuzz testing. 56-66 - Casper Svenning Jensen, Mukul R. Prasad, Anders Møller:
Automated testing with targeted event sequence generation. 67-77
Analysis and Testing of Non-functional Properties
- Ding Li, Shuai Hao, William G. J. Halfond, Ramesh Govindan:
Calculating source line level energy information for Android applications. 78-89 - Xusheng Xiao, Shi Han, Dongmei Zhang, Tao Xie:
Context-sensitive delta inference for identifying workload-dependent performance bottlenecks. 90-100 - Lin Gui, Jun Sun, Yang Liu, Yuanjie Si, Jin Song Dong, Xinyu Wang:
Combining model checking and testing with an application to reliability prediction and distribution. 101-111
Heap Analysis and Testing
- Mengchen Li, Yuanjun Chen, Linzhang Wang, Guoqing Xu:
Dynamically validating static memory leak warnings. 112-122 - Earl T. Barr, Christian Bird, Mark Marron:
Collecting a heap of shapes. 123-133 - Sangmin Park, Mary Jean Harrold, Richard W. Vuduc:
Griffin: grouping suspicious memory-access patterns to improve understanding of concurrency bugs. 134-144
Races and Multi-threaded Analysis and Testing
- Sandeep Bindal, Sorav Bansal, Akash Lal:
Variable and thread bounding for systematic testing of multithreaded programs. 145-155 - Qingzhou Luo, Grigore Rosu:
EnforceMOP: a runtime property enforcement system for multithreaded programs. 156-166 - Tingting Yu, Witawas Srisa-an, Gregg Rothermel:
SimRacer: an automated framework to support testing for process-level races. 167-177 - Cosmin Radoi, Danny Dig:
Practical static race detection for Java parallel loops. 178-190
Localisation, Patching, and Repair
- Yuhua Qi, Xiaoguang Mao, Yan Lei, Chengsong Wang:
Using automated program repair for evaluating the effectiveness of fault localization techniques. 191-201 - Jaideep Nijjar, Tevfik Bultan:
Data model property inference and repair. 202-212 - Wei Jin, Alessandro Orso:
F3: fault localization for field failures. 213-223
Mutating and Mocking
- Milos Gligoric, Lingming Zhang, Cristiano Pereira, Gilles Pokam:
Selective mutation testing for concurrent code. 224-234 - Lingming Zhang, Darko Marinov, Sarfraz Khurshid:
Faster mutation testing inspired by test prioritization and reduction. 235-245 - Hesam Samimi, Rebecca Hicks, Ari Fogel, Todd D. Millstein:
Declarative mocking. 246-256
Learning, Optimizing, and Searching
- Fitsum Meshesha Kifetew, Annibale Panichella, Andrea De Lucia, Rocco Oliveto, Paolo Tonella:
Orthogonal exploration of the search space in evolutionary test case generation. 257-267 - Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric:
Hybrid learning: interface generation through static, dynamic, and symbolic analysis. 268-279 - Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum:
Optimizing monitoring of finite state properties through monitor compaction. 280-290
Whitebox Testing
- Gordon Fraser, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg:
Does automated white-box test generation really help software testers? 291-301 - Milos Gligoric, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov:
Comparing non-adequate test suites using coverage criteria. 302-313 - Friedrich Steimann, Marcus Frenkel, Rui Abreu:
Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators. 314-324
Web-Based Analysis and Testing
- Mark Hills, Paul Klint, Jurgen J. Vinju:
An empirical study of PHP feature usage: a static analysis perspective. 325-335 - Shiyi Wei, Barbara G. Ryder:
Practical blended taint analysis for JavaScript. 336-346 - Omer Tripp, Omri Weisman, Lotem Guy:
Finding your way in the testing jungle: a learning approach to web security testing. 347-357
Temporal Properties and Concurrency
- Sangmin Park:
Debugging non-deadlock concurrency bugs. 358-361 - Simone Hanazumi, Ana Cristina Vieira de Melo:
Generation of Java programs properties from test purposes. 362-365
Performance and Databases
- Teodora Sandra Buda:
Generation of test databases using sampling methods. 366-369 - Shadi Ghaith:
Analysis of performance regression testing data by transaction profiles. 370-373
Formal Verification
- Thomas Thüm:
Product-line verification with feature-oriented contracts. 374-377 - Andrea Bonacchi:
Formal safety proof: a real case study in a railway interlocking system. 378-381
a service of 
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-04-19 20:28 CEST 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:
