Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Rahulkrishna Yandrapally, Suresh Thummalapenta, Saurabh Sinha, Satish Chandra 0001 |
Robust test automation using contextual clues. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Narcisa Andreea Milea, Lingxiao Jiang, Siau-Cheng Khoo |
Scalable detection of missed cross-function refactorings. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Arlt, Andreas Podelski, Martin Wehrle |
Reducing GUI test suites via program slicing. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | José Angel Galindo, Mauricio Alférez, Mathieu Acher, Benoit Baudry, David Benavides 0001 |
A variability-based testing approach for synthesizing video sequences. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Nistor, Lenin Ravindranath |
SunCat: helping developers understand and predict performance problems in smartphone applications. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ohad Shacham, Eran Yahav, Guy Golan-Gueta, Alex Aiken, Nathan Grasso Bronson, Mooly Sagiv, Martin T. Vechev |
Verifying atomicity via data independence. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhiqiang Zuo 0002, Siau-Cheng Khoo, Chengnian Sun |
Efficient predicated bug signature mining via hierarchical instrumentation. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Pradel, Markus Huggler, Thomas R. Gross |
Performance regression testing of concurrent classes. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
Cross-platform feature matching for web applications. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | René Just, Michael D. Ernst, Gordon Fraser 0001 |
Efficient mutation analysis by propagating and partitioning infected execution states. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Konstantin Weitz, Gene Kim 0001, Siwakorn Srisakaokul, Michael D. Ernst |
A type system for format strings. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yunxiao Zou, Zhenyu Chen 0001, Yunhui Zheng, Xiangyu Zhang 0001, Zebao Gao |
Virtual DOM coverage for effective testing of dynamic web applications. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Gotlieb, Dusica Marijan |
FLOWER: optimal test suite reduction as a network maximum flow. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lin Gui 0002, Jun Sun 0001, Yang Liu 0003, Yuanjie Si, Jin Song Dong, Xinyu Wang 0001 |
Combining model checking and testing with an application to reliability prediction and distribution. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mark Hills 0001, Paul Klint, Jurgen J. Vinju |
An empirical study of PHP feature usage: a static analysis perspective. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hesam Samimi, Rebecca Hicks, Ari Fogel, Todd D. Millstein |
Declarative mocking. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Lingming Zhang 0001, Darko Marinov, Sarfraz Khurshid |
Faster mutation testing inspired by test prioritization and reduction. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bonacchi 0001 |
Formal safety proof: a real case study in a railway interlocking system. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Cosmin Radoi, Danny Dig |
Practical static race detection for Java parallel loops. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rahul Purandare, Matthew B. Dwyer, Sebastian G. Elbaum |
Optimizing monitoring of finite state properties through monitor compaction. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sai Zhang 0001, Hao Lü, Michael D. Ernst |
Automatically repairing broken workflows for evolving GUI applications. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich Steimann, Marcus Frenkel, Rui Abreu 0001 |
Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hana Chockler, Karine Even, Eran Yahav |
Finding rare numerical stability errors in concurrent computations. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Milos Gligoric 0001, Lingming Zhang 0001, Cristiano Pereira, Gilles Pokam |
Selective mutation testing for concurrent code. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Petar Tsankov, Mohammad Torabi Dashti, David A. Basin |
Semi-valid input coverage for fuzz testing. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Wei Jin 0001, Alessandro Orso |
F3: fault localization for field failures. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shiyi Wei, Barbara G. Ryder |
Practical blended taint analysis for JavaScript. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sangmin Park, Mary Jean Harrold, Richard W. Vuduc |
Griffin: grouping suspicious memory-access patterns to improve understanding of concurrency bugs. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Simone Hanazumi, Ana Cristina Vieira de Melo |
Generation of Java programs properties from test purposes. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shadi Ghaith |
Analysis of performance regression testing data by transaction profiles. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Ding Li 0001, Shuai Hao, William G. J. Halfond, Ramesh Govindan |
Calculating source line level energy information for Android applications. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Omer Tripp, Omri Weisman, Lotem Guy |
Finding your way in the testing jungle: a learning approach to web security testing. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Fraser 0001, Matt Staats, Phil McMinn, Andrea Arcuri, Frank Padberg |
Does automated white-box test generation really help software testers? |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Thüm |
Product-line verification with feature-oriented contracts. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mauro Pezzè, Mark Harman (eds.) |
International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013 |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Yuhua Qi, Xiaoguang Mao, Yan Lei, Chengsong Wang |
Using automated program repair for evaluating the effectiveness of fault localization techniques. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pranavadatta Devaki, Suresh Thummalapenta, Nimit Singhania, Saurabh Sinha |
Efficient and flexible GUI test execution via test merging. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Earl T. Barr, Christian Bird, Mark Marron |
Collecting a heap of shapes. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sandeep Bindal, Sorav Bansal, Akash Lal |
Variable and thread bounding for systematic testing of multithreaded programs. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Falk Howar, Dimitra Giannakopoulou, Zvonimir Rakamaric |
Hybrid learning: interface generation through static, dynamic, and symbolic analysis. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Xusheng Xiao, Shi Han, Dongmei Zhang 0001, Tao Xie 0001 |
Context-sensitive delta inference for identifying workload-dependent performance bottlenecks. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sangmin Park |
Debugging non-deadlock concurrency bugs. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Fitsum Meshesha Kifetew, Annibale Panichella, Andrea De Lucia, Rocco Oliveto, Paolo Tonella |
Orthogonal exploration of the search space in evolutionary test case generation. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jaideep Nijjar, Tevfik Bultan |
Data model property inference and repair. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Qingzhou Luo, Grigore Rosu |
EnforceMOP: a runtime property enforcement system for multithreaded programs. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Casper Svenning Jensen, Mukul R. Prasad, Anders Møller |
Automated testing with targeted event sequence generation. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Tingting Yu, Witawas Srisa-an, Gregg Rothermel |
SimRacer: an automated framework to support testing for process-level races. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Milos Gligoric 0001, Alex Groce, Chaoqiang Zhang, Rohan Sharma, Mohammad Amin Alipour, Darko Marinov |
Comparing non-adequate test suites using coverage criteria. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jooyong Yi, Dawei Qi, Shin Hwei Tan, Abhik Roychoudhury |
Expressing and checking intended changes via software change contracts. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Mengchen Li, Yuanjun Chen, Linzhang Wang, Guoqing Xu 0001 |
Dynamically validating static memory leak warnings. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Teodora Sandra Buda |
Generation of test databases using sampling methods. |
ISSTA |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Shin Hong, Jaemin Ahn, Sangmin Park, Moonzoo Kim, Mary Jean Harrold |
Testing concurrent programs to achieve high synchronization coverage. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hongtao Yu, Zhiyuan Li 0001 |
Multi-slicing: a compiler-supported parallel approach to data dependence profiling. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Lingming Zhang 0001, Darko Marinov, Lu Zhang 0023, Sarfraz Khurshid |
Regression mutation testing. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sai Zhang 0001, Hao Lü, Michael D. Ernst |
Finding errors in multithreaded GUI applications. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan |
Cooperative types for controlling thread interference in Java. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Zachary P. Fry, Bryan Landau, Westley Weimer |
A human study of patch maintainability. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jaco Geldenhuys, Matthew B. Dwyer, Willem Visser |
Probabilistic symbolic execution. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, Jeremy G. Siek |
Measuring enforcement windows with symbolic trace interpretation: what well-behaved programs say. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Aaron Tomb, Cormac Flanagan |
Detecting inconsistencies via universal reachability analysis. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Florian Gross, Gordon Fraser 0001, Andreas Zeller |
Search-based system testing: high coverage, no false alarms. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis |
Residual investigation: predictive and precise bug detection. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Fangfang Zhang 0005, Yoon-chan Jhi, Dinghao Wu, Peng Liu 0005, Sencun Zhu |
A first step towards algorithm plagiarism detection. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pingyu Zhang, Sebastian G. Elbaum, Matthew B. Dwyer |
Compositional load test generation for software pipelines. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Juan Caballero, Gustavo Grieco, Mark Marron, Antonio Nappa |
Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Pradel, Severin Heiniger, Thomas R. Gross |
Static detection of brittle parameter typing. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Simon Holm Jensen, Peter A. Jonsson, Anders Møller |
Remedying the eval that men do. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jan Strejcek, Marek Trtík |
Abstracting path conditions. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Ke Zhai 0002, Boni Xu, W. K. Chan 0001, T. H. Tse |
CARISMA: a context-sensitive approach to race-condition sample-instance selection for multithreaded applications. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen 0024, John Regehr |
Swarm testing. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Davide Canali, Andrea Lanzi, Davide Balzarotti, Christopher Kruegel, Mihai Christodorescu, Engin Kirda |
A quantitative study of accuracy in system call-based malware detection. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Zohaib Z. Iqbal, Andrea Arcuri, Lionel C. Briand |
Empirical investigation of search algorithms for environment model-based testing of real-time embedded software. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guowei Yang 0001, Corina S. Pasareanu, Sarfraz Khurshid |
Memoized symbolic execution. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jeremias Rößler, Gordon Fraser 0001, Andreas Zeller, Alessandro Orso |
Isolating failure causes through test case generation. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Alshahwan, Mark Harman |
State aware test case regeneration for improving web application test suite coverage and fault detection. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kristen Walcott-Justice, Jason Mars, Mary Lou Soffa |
THeME: a system for testing by hardware monitoring events. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Thies, Eric Bodden |
RefaFlex: safer refactorings for reflective Java programs. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mats Per Erik Heimdahl, Zhendong Su 0001 (eds.) |
International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012 |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Cu D. Nguyen, Alessandro Marchetto 0001, Paolo Tonella |
Combining model-based and combinatorial testing for effective test case generation. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matt Staats, Shin Hong, Moonzoo Kim, Gregg Rothermel |
Understanding user understanding: determining correctness of generated program invariants. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yulei Sui, Ding Ye, Jingling Xue |
Static memory leak detection using full-sparse value-flow analysis. |
ISSTA |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Matthew B. Dwyer, Frank Tip (eds.) |
Proceedings of the 20th International Symposium on Software Testing and Analysis, ISSTA 2011, Toronto, ON, Canada, July 17-21, 2011 |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry |
Polyglot: modeling and analysis for multiple Statechart formalisms. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chris Parnin, Alessandro Orso |
Are automated debugging techniques actually helping programmers? |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Philip J. Guo, Dawson R. Engler |
Using automatic persistent memoization to facilitate data analysis scripting. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dacong Yan, Guoqing Xu 0001, Atanas Rountev |
Demand-driven context-sensitive alias analysis for Java. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Takaaki Tateishi, Marco Pistoia, Omer Tripp |
Path- and index-sensitive string analysis based on monadic second-order logic. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Milos Gligoric 0001, Darko Marinov, Sam Kamin |
CoDeSe: fast deserialization via code generation. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kunal Taneja, Tao Xie 0001, Nikolai Tillmann, Jonathan de Halleux |
eXpress: guided path exploration for efficient regression test generation. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ayesha Yasmeen, Elsa L. Gunter |
Automated framework for formal operator task analysis. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Xiao 0003, Charles Zhang 0001 |
Geometric encoding: forging the high performance context sensitive points-to analysis for Java. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrew R. Bernat, Kevin A. Roundy, Barton P. Miller |
Efficient, sensitivity resistant binary instrumentation. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu 0001 |
Recovering the toolchain provenance of binary code. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Arcuri, Lionel C. Briand |
Adaptive random testing: an illusion of effectiveness? |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Muzammil Shahbaz, K. C. Shashidhar, Robert Eschbach |
Iterative refinement of specification for component based embedded systems. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gordon Fraser 0001, Andreas Zeller |
Generating parameterized unit tests. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jacob Burnim, Koushik Sen, Christos Stergiou 0001 |
Testing concurrent programs on relaxed memory models. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|