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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 377-388, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 189-200, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 177-188, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 201-212, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ke Mao, Mark Harman, Yue Jia 0001 |
Sapienz: multi-objective automated testing for Android applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 94-105, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 130-141, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rashmi Mudduluru, Murali Krishna Ramanathan |
Efficient flow profiling for detecting performance bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 413-424, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 36-46, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anirudh Santhiar, Shalini Kaleeswaran, Aditya Kanade |
Efficient race detection in the presence of programmatic event loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 366-376, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Adel Noureddine, Syed Islam, Rabih Bashroush |
Jolinar: analysing the energy footprint of software applications (demo). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 445-448, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alberto Goffi, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè |
Automatic generation of oracles for exceptional behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 213-224, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Reyhaneh Jabbarvand Behrouz, Alireza Sadeghi, Hamid Bagheri, Sam Malek |
Energy-aware test-suite minimization for Android apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 425-436, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Amin Alipour, Alex Groce, Rahul Gopinath, Arpit Christi |
Generating focused random tests using directed swarm testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 70-81, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Bowes, Tracy Hall, Mark Harman, Yue Jia 0001, Federica Sarro, Fan Wu 0009 |
Mutation-aware fault prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 330-341, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 354-365, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sudhir Samrit, Rupesh Nasre |
EagerMerge: an optimistic technique for efficient points-to analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 47-58, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Markus Ermuth, Michael Pradel |
Monkey see, monkey do: effective generation of GUI tests with inferred macro events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 82-93, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 318-329, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè |
Reusing constraint proofs in program analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 305-315, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Bell 0001, Gail E. Kaiser |
Dynamic taint tracking for Java with phosphor (demo). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 409-413, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 338-349, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sepideh Khoshnood, Markus Kusano, Chao Wang 0001 |
ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 165-176, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Teng Long |
Collaborative testing across shared software components (doctoral symposium). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 436-439, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Monika Dhok, Rashmi Mudduluru, Murali Krishna Ramanathan |
Pegasus: automatic barrier inference for stable multithreaded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 153-164, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alex Groce, Jervis Pinto, Pooria Azimi, Pranjal Mittal |
TSTL: a language and tool for testing (demo). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 414-417, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller |
Systematic execution of Android test suites in adverse conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 83-93, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 24-36, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Rolfsnes |
Mining change history for test-plan generation (doctoral symposium). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 444-447, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden |
Feedback-controlled random test generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 316-326, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marko Dimjasevic, Dimitra Giannakopoulou |
Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 282-292, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Alex Gyori, August Shi, Farah Hariri, Darko Marinov |
Reliable testing: detecting state-polluting tests to prevent test dependency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 223-233, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Wei Huang 0001, Yao Dong 0001, Ana L. Milanova, Julian Dolby |
Scalable and precise taint analysis for Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 106-117, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Peter Ohmann |
Making your crashes work for you (doctoral symposium). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 428-431, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen |
DLint: dynamically checking bad coding practices in JavaScript. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 94-105, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sai Zhang 0001, Michael D. Ernst |
Proactive detection of inadequate diagnostic messages for software configuration errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 12-23, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vu Le 0002, Chengnian Sun, Zhendong Su 0001 |
Randomized stress-testing of link-time optimizers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 327-337, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Qianqian Wang, Chris Parnin, Alessandro Orso |
Evaluating the usefulness of IR-based fault localization techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 1-11, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Roee Hay, Omer Tripp, Marco Pistoia |
Dynamic detection of inter-application communication vulnerabilities in Android. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 118-128, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 48-59, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 385-396, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiki Sato, Shumpei Hozumi, Shigeru Chiba |
Calculation coverage testing in scientific applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 350-360, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 397-408, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kivanç Muslu, Yuriy Brun, Alexandra Meliou |
Preventing data errors with continuous testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 373-384, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Dahse, Thorsten Holz |
Experience report: an empirical study of PHP security mechanism usage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 60-70, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 418-422, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Aquino |
Scalable program analysis through proof caching (doctoral symposium). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 432-435, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kai Cong, Li Lei, Zhenkun Yang, Fei Xie |
Automatic fault injection for driver robustness testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 361-372, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 71-82, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 293-304, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![ACM, 978-1-4503-3620-8 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 234-245, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 246-256, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tanakorn Leesatapornwongsa, Haryadi S. Gunawi |
SAMC: a fast model checker for finding heisenbugs in distributed systems (demo). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 423-427, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Charlie Hothersall-Thomas, Sergio Maffeis, Chris Novakovic |
BrowserAudit: automated testing of browser security features. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 37-47, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Lazaro Clapp, Saswat Anand, Alex Aiken |
Modelgen: mining explicit information flow specifications from concrete executions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 129-140, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Earl T. Barr, Mark Harman, Yue Jia 0001, Alexandru Marginean, Justyna Petke |
Automated software transplantation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 257-269, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 188-198, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Gülsen Demiröz |
Cost-aware combinatorial interaction testing (doctoral symposium). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 440-443, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ganesh Narayanaswamy |
When truth is efficient: analysing concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 141-152, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Du Shen, Qi Luo, Denys Poshyvanyk, Mark Grechanik |
Automating performance bottleneck detection using search-based application profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 270-281, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Xiangyang Jia, Carlo Ghezzi, Shi Ying |
Enhancing reuse of constraint solutions to improve symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 177-187, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Milos Gligoric 0001, Lamyaa Eloussi, Darko Marinov |
Practical regression test selection with dynamic file dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 211-222, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015, pp. 199-210, 2015, ACM, 978-1-4503-3620-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Shiva Nejati, Lionel C. Briand |
Identifying optimal trade-offs between CPU time usage and temporal constraints using search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 351-361, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhenbo Xu, Jian Zhang, Zhongxing Xu, Jiteng Wang |
Canalyze: a static bug-finding tool for C programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 425-428, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Omer Tripp, Pietro Ferrara 0001, Marco Pistoia |
Hybrid security analysis of web JavaScript code via dynamic partial evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 49-59, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mehdi MirzaAghaei, Ali Mesbah 0001 |
DOM-based test adequacy criteria for web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 71-81, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Shabnam Mirshokraie |
Effective test generation and adequacy assessment for JavaScript-based web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 453-456, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 37-48, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Meixian Chen |
Reusing constraint proofs for scalable program analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 449-452, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 437-440, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 417-420, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benoit Baudry, Simon Allier, Martin Monperrus |
Tailored source code transformations to synthesize computationally diverse program variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 149-159, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nadia Alshahwan, Mark Harman |
Coverage and fault detection of the output-uniqueness test selection criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 181-192, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | René Just |
The major mutation framework: efficient and scalable mutation analysis for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 433-436, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 421-424, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro |
Link: exploiting the web of data to generate test inputs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 373-384, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Yiyan Lin, Sandeep S. Kulkarni |
Automatic repair for multi-threaded programs with Deadlock/Livelock using maximum satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 237-247, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Benwen Zhang, James Clause |
Lightweight automated detection of unsafe information leakage via exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 327-338, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Schur, Andreas Roth 0001, Andreas Zeller |
ProCrawl: mining test models from multi-user web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 413-416, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lu Zhang 0035, Chao Wang 0001 |
Runtime prevention of concurrency related type-state violations in multithreaded applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 1-12, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 259-269, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 93-104, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Konstantin Weitz, Siwakorn Srisakaokul, Gene Kim 0001, Michael D. Ernst |
A format string checker for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 441-444, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 339-350, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 385-396, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhiqiang Zuo 0002 |
Efficient statistical debugging via hierarchical instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 457-460, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 429-432, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 409-412, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 116-126, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lingming Zhang 0001, Guowei Yang 0001, Neha Rungta, Suzette Person, Sarfraz Khurshid |
Feedback-driven dynamic invariant discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 362-372, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![ACM, 978-1-4503-2645-2 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 248-258, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 397-408, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Böhme, Abhik Roychoudhury |
CoREBench: studying complexity of regression errors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 105-115, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai Tillmann, Jonathan de Halleux, Tao Xie 0001, Judith Bishop |
Constructing coding duels in Pex4Fun and code hunt. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 445-448, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Chaoqiang Zhang, Alex Groce, Mohammad Amin Alipour |
Using test case reduction and prioritization to improve symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 160-170, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pablo S. Loyola, Matt Staats, In-Young Ko, Gregg Rothermel |
Dodona: automated oracle data set selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 193-203, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 204-214, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Muath Alkhalaf, Abdulbaki Aydin, Tevfik Bultan |
Semantic differential repair for input validation and sanitization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014, pp. 225-236, 2014, ACM, 978-1-4503-2645-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|