Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yongjian Hu, Iulian Neamtiu, Arash Alavi 0001 |
Automatically verifying and reproducing event-based races in Android apps. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fang Yu 0001, Ching-Yuan Shueh, Chun-Han Lin, Yu-Fang Chen 0001, Bow-Yaw Wang, Tevfik Bultan |
Optimal sanitization synthesis for web application vulnerability repair. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tien-Duy B. Le, David Lo 0001, Claire Le Goues, Lars Grunske |
A learning-to-rank based fault localization approach using likely invariants. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Weihang Wang 0001, Yunhui Zheng, Peng Liu 0010, Lei Xu 0003, Xiangyu Zhang 0001, Patrick Eugster |
ARROW: automated repair of races on client-side web pages. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ke Mao, Mark Harman, Yue Jia 0001 |
Sapienz: multi-objective automated testing for Android applications. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Palomba, Annibale Panichella, Andy Zaidman, Rocco Oliveto, Andrea De Lucia |
Automatic test case generation: what if test code quality matters? |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rashmi Mudduluru, Murali Krishna Ramanathan |
Efficient flow profiling for detecting performance bugs. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion |
Specification of concretization and symbolization policies in symbolic execution. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anirudh Santhiar, Shalini Kaleeswaran, Aditya Kanade |
Efficient race detection in the presence of programmatic event loops. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Adel Noureddine, Syed Islam, Rabih Bashroush |
Jolinar: analysing the energy footprint of software applications (demo). |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè |
Automatic generation of oracles for exceptional behaviors. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Reyhaneh Jabbarvand Behrouz, Alireza Sadeghi, Hamid Bagheri, Sam Malek |
Energy-aware test-suite minimization for Android apps. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Amin Alipour, Alex Groce, Rahul Gopinath, Arpit Christi |
Generating focused random tests using directed swarm testing. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Bowes, Tracy Hall, Mark Harman, Yue Jia 0001, Federica Sarro, Fan Wu 0009 |
Mutation-aware fault prediction. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mike Papadakis, Christopher Henard, Mark Harman, Yue Jia 0001, Yves Le Traon |
Threats to the validity of mutation-based test assessment. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sudhir Samrit, Rupesh Nasre |
EagerMerge: an optimistic technique for efficient points-to analysis. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Markus Ermuth, Michael Pradel |
Monkey see, monkey do: effective generation of GUI tests with inferred macro events. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Li Li 0029, Tegawendé F. Bissyandé, Damien Octeau, Jacques Klein |
DroidRA: taming reflection to support whole-program analysis of Android apps. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè |
Reusing constraint proofs in program analysis. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Bell 0001, Gail E. Kaiser |
Dynamic taint tracking for Java with phosphor (demo). |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | José Miguel Rojas, Gordon Fraser 0001, Andrea Arcuri |
Automated unit test generation during software development: a controlled experiment and think-aloud observations. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sepideh Khoshnood, Markus Kusano, Chao Wang 0001 |
ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Teng Long |
Collaborative testing across shared software components (doctoral symposium). |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Monika Dhok, Rashmi Mudduluru, Murali Krishna Ramanathan |
Pegasus: automatic barrier inference for stable multithreaded systems. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alex Groce, Jervis Pinto, Pooria Azimi, Pranjal Mittal |
TSTL: a language and tool for testing (demo). |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller |
Systematic execution of Android test suites in adverse conditions. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zichao Qi, Fan Long, Sara Achour, Martin C. Rinard |
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Rolfsnes |
Mining change history for test-plan generation (doctoral symposium). |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden |
Feedback-controlled random test generation. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marko Dimjasevic, Dimitra Giannakopoulou |
Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alex Gyori, August Shi, Farah Hariri, Darko Marinov |
Reliable testing: detecting state-polluting tests to prevent test dependency. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Wei Huang 0001, Yao Dong 0001, Ana L. Milanova, Julian Dolby |
Scalable and precise taint analysis for Android. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Ohmann |
Making your crashes work for you (doctoral symposium). |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen |
DLint: dynamically checking bad coding practices in JavaScript. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sai Zhang 0001, Michael D. Ernst |
Proactive detection of inadequate diagnostic messages for software configuration errors. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vu Le 0002, Chengnian Sun, Zhendong Su 0001 |
Randomized stress-testing of link-time optimizers. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Qianqian Wang, Chris Parnin, Alessandro Orso |
Evaluating the usefulness of IR-based fault localization techniques. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roee Hay, Omer Tripp, Marco Pistoia |
Dynamic detection of inter-application communication vulnerabilities in Android. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yinxing Xue, Junjie Wang 0007, Yang Liu 0003, Hao Xiao, Jun Sun 0001, Mahinthan Chandramohan |
Detection and classification of malicious JavaScript via attack behavior modelling. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand, Muhammad Zohaib Z. Iqbal |
Automatic generation of system test cases from use case specifications. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiki Sato, Shumpei Hozumi, Shigeru Chiba |
Calculation coverage testing in scientific applications. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tao Yue 0002, Shaukat Ali 0001, Man Zhang 0001 |
RTCM: a natural language based, automated, and practical test case generation framework. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kivanç Muslu, Yuriy Brun, Alexandra Meliou |
Preventing data errors with continuous testing. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Dahse, Thorsten Holz |
Experience report: an empirical study of PHP security mechanism usage. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Tarvo, Peter F. Sweeney, Nick Mitchell, V. T. Rajan, Matthew Arnold, Ioana Baldini |
CanaryAdvisor: a statistical-based tool for canary testing (demo). |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Aquino |
Scalable program analysis through proof caching (doctoral symposium). |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kai Cong, Li Lei, Zhenkun Yang, Fei Xie |
Automatic fault injection for driver robustness testing. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Haoyu Wang 0001, Yao Guo 0001, Ziang Ma, Xiangqun Chen |
WuKong: a scalable and accurate two-phase approach to Android app clone detection. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lin Gui 0002, Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
Reliability assessment for distributed systems via communication abstraction and refinement. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michal Young, Tao Xie 0001 (eds.) |
Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015 |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Michael G. Epitropakis, Shin Yoo, Mark Harman, Edmund K. Burke |
Empirical evaluation of pareto efficient multi-objective regression test case prioritisation. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun 0001, Yang Liu 0003, Jin Song Dong |
Optimizing selection of competing features via feedback-directed evolutionary algorithms. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tanakorn Leesatapornwongsa, Haryadi S. Gunawi |
SAMC: a fast model checker for finding heisenbugs in distributed systems (demo). |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Charlie Hothersall-Thomas, Sergio Maffeis, Chris Novakovic |
BrowserAudit: automated testing of browser security features. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lazaro Clapp, Saswat Anand, Alex Aiken |
Modelgen: mining explicit information flow specifications from concrete executions. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Earl T. Barr, Mark Harman, Yue Jia 0001, Alexandru Marginean, Justyna Petke |
Automated software transplantation. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xiaofei Xie, Yang Liu 0003, Wei Le, Xiaohong Li 0001, Hongxu Chen 0001 |
S-looper: automatic summarization for multipath string loops. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gülsen Demiröz |
Cost-aware combinatorial interaction testing (doctoral symposium). |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ganesh Narayanaswamy |
When truth is efficient: analysing concurrency. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Du Shen, Qi Luo, Denys Poshyvanyk, Mark Grechanik |
Automating performance bottleneck detection using search-based application profiling. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xiangyang Jia, Carlo Ghezzi, Shi Ying |
Enhancing reuse of constraint solutions to improve symbolic execution. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Milos Gligoric 0001, Lamyaa Eloussi, Darko Marinov |
Practical regression test selection with dynamic file dependencies. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoyin Wang, Lingming Zhang 0001, Philip Tanofsky |
Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE. |
ISSTA |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shiva Nejati, Lionel C. Briand |
Identifying optimal trade-offs between CPU time usage and temporal constraints using search. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhenbo Xu, Jian Zhang, Zhongxing Xu, Jiteng Wang |
Canalyze: a static bug-finding tool for C programs. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Omer Tripp, Pietro Ferrara 0001, Marco Pistoia |
Hybrid security analysis of web JavaScript code via dynamic partial evaluation. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mehdi MirzaAghaei, Ali Mesbah 0001 |
DOM-based test adequacy criteria for web applications. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shabnam Mirshokraie |
Effective test generation and adequacy assessment for JavaScript-based web applications. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad |
Verification-aided regression testing. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Meixian Chen |
Reusing constraint proofs for scalable program analysis. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | René Just, Darioush Jalali, Michael D. Ernst |
Defects4J: a database of existing faults to enable controlled testing studies for Java programs. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shauvik Roy Choudhary, Mukul R. Prasad, Alessandro Orso |
X-PERT: a web application testing tool for cross-browser inconsistency detection. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benoit Baudry, Simon Allier, Martin Monperrus |
Tailored source code transformations to synthesize computationally diverse program variants. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Alshahwan, Mark Harman |
Coverage and fault detection of the output-uniqueness test selection criteria. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | René Just |
The major mutation framework: efficient and scalable mutation analysis for Java. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Juan Pablo Galeotti, Gordon Fraser 0001, Andrea Arcuri |
Extending a search-based test generator with adaptive dynamic symbolic execution. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro |
Link: exploiting the web of data to generate test inputs. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yiyan Lin, Sandeep S. Kulkarni |
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benwen Zhang, James Clause |
Lightweight automated detection of unsafe information leakage via exceptions. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Schur, Andreas Roth 0001, Andreas Zeller |
ProCrawl: mining test models from multi-user web applications. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lu Zhang 0035, Chao Wang 0001 |
Runtime prevention of concurrency related type-state violations in multithreaded applications. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dennis Appelt, Cu Duy Nguyen, Lionel C. Briand, Nadia Alshahwan |
Automated testing for SQL injection vulnerabilities: an input mutation approach. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Dan Marinescu, Petr Hosek 0001, Cristian Cadar |
Covrig: a framework for the analysis of code, test, and coverage evolution in real software. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim 0001, Michael D. Ernst |
A format string checker for Java. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Ding Li 0001, Yuchen Jin, Cagri Sahin, James Clause, William G. J. Halfond |
Integrated energy-directed test suite optimization. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sai Zhang 0001, Darioush Jalali, Jochen Wuttke, Kivanç Muslu, Wing Lam, Michael D. Ernst, David Notkin |
Empirically revisiting the test independence assumption. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhiqiang Zuo 0002 |
Efficient statistical debugging via hierarchical instrumentation. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Duc Le, Mohammad Amin Alipour, Rahul Gopinath, Alex Groce |
MuCheck: an extensible tool for mutation testing of haskell programs. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tariq M. King, Gabriel Nunez, Dionny Santiago, Adam Cando, Cody Mack |
Legend: an agile DSL toolset for web acceptance testing. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Xusheng Xiao, Gogul Balakrishnan, Franjo Ivancic, Naoto Maeda, Aarti Gupta, Deepak Chhetri |
ARC++: effective typestate and lifetime dependency analysis. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lingming Zhang 0001, Guowei Yang 0001, Neha Rungta, Suzette Person, Sarfraz Khurshid |
Feedback-driven dynamic invariant discovery. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Corina S. Pasareanu, Darko Marinov (eds.) |
International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014 |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Henderson, Aravind Prakash, Lok-Kwong Yan, Xunchao Hu, Xujiewen Wang, Rundong Zhou, Heng Yin 0001 |
Make it work, make it right, make it fast: building a platform-neutral whole-system dynamic binary analysis platform. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Anna Lanzaro, Roberto Natella, Stefan Winter 0001, Domenico Cotroneo, Neeraj Suri |
An empirical study of injected versus actual interface errors. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Böhme, Abhik Roychoudhury |
CoREBench: studying complexity of regression errors. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai Tillmann, Jonathan de Halleux, Tao Xie 0001, Judith Bishop |
Constructing coding duels in Pex4Fun and code hunt. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour |
Using test case reduction and prioritization to improve symbolic execution. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pablo S. Loyola, Matt Staats, In-Young Ko, Gregg Rothermel |
Dodona: automated oracle data set selection. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Rongxin Wu, Hongyu Zhang 0002, Shing-Chi Cheung, Sunghun Kim 0001 |
CrashLocator: locating crashing faults based on crash stacks. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan |
Semantic differential repair for input validation and sanitization. |
ISSTA |
2014 |
DBLP DOI BibTeX RDF |
|