Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDISSTA 2015: Baltimore, MD, USA
- Michal Young, Tao Xie:
Proceedings of the 2015 International Symposium on Software Testing and Analysis, ISSTA 2015, Baltimore, MD, USA, July 12-17, 2015. ACM 2015, ISBN 978-1-4503-3620-8
Debugging
- Qianqian Wang, Chris Parnin, Alessandro Orso:
Evaluating the usefulness of IR-based fault localization techniques. 1-11 - Sai Zhang, Michael D. Ernst:
Proactive detection of inadequate diagnostic messages for software configuration errors. 12-23 - Zichao Qi, Fan Long, Sara Achour
, Martin C. Rinard:
An analysis of patch plausibility and correctness for generate-and-validate patch generation systems. 24-36
Web Security
- Charlie Hothersall-Thomas, Sergio Maffeis, Chris Novakovic:
BrowserAudit: automated testing of browser security features. 37-47 - Yinxing Xue, Junjie Wang, Yang Liu, Hao Xiao, Jun Sun, Mahinthan Chandramohan:
Detection and classification of malicious JavaScript via attack behavior modelling. 48-59 - Johannes Dahse, Thorsten Holz:
Experience report: an empirical study of PHP security mechanism usage. 60-70
Mobile/Web Analysis
- Haoyu Wang, Yao Guo, Ziang Ma, Xiangqun Chen:
WuKong: a scalable and accurate two-phase approach to Android app clone detection. 71-82 - Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller:
Systematic execution of Android test suites in adverse conditions. 83-93 - Liang Gong, Michael Pradel, Manu Sridharan, Koushik Sen:
DLint: dynamically checking bad coding practices in JavaScript. 94-105
Mobile Security
- Wei Huang, Yao Dong, Ana L. Milanova, Julian Dolby:
Scalable and precise taint analysis for Android. 106-117 - Roee Hay, Omer Tripp, Marco Pistoia:
Dynamic detection of inter-application communication vulnerabilities in Android. 118-128 - Lazaro Clapp, Saswat Anand, Alex Aiken:
Modelgen: mining explicit information flow specifications from concrete executions. 129-140
Concurrency Analysis
- Ganesh Narayanaswamy:
When truth is efficient: analysing concurrency. 141-152 - Monika Dhok, Rashmi Mudduluru, Murali Krishna Ramanathan:
Pegasus: automatic barrier inference for stable multithreaded systems. 153-164 - Sepideh Khoshnood, Markus Kusano, Chao Wang:
ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs. 165-176
Symbolic Execution
- Xiangyang Jia, Carlo Ghezzi, Shi Ying:
Enhancing reuse of constraint solutions to improve symbolic execution. 177-187 - Xiaofei Xie, Yang Liu, Wei Le, Xiaohong Li, Hongxu Chen:
S-looper: automatic summarization for multipath string loops. 188-198 - Xiaoyin Wang, Lingming Zhang, Philip Tanofsky:
Experience report: how is dynamic symbolic execution different from manual testing? a study on KLEE. 199-210
Regression Testing
- Milos Gligoric, Lamyaa Eloussi, Darko Marinov:
Practical regression test selection with dynamic file dependencies. 211-222 - Alex Gyori, August Shi, Farah Hariri, Darko Marinov:
Reliable testing: detecting state-polluting tests to prevent test dependency. 223-233 - Michael G. Epitropakis, Shin Yoo, Mark Harman, Edmund K. Burke:
Empirical evaluation of pareto efficient multi-objective regression test case prioritisation. 234-245
Search-Based Algorithms
- Tian Huat Tan, Yinxing Xue, Manman Chen, Jun Sun, Yang Liu, Jin Song Dong:
Optimizing selection of competing features via feedback-directed evolutionary algorithms. 246-256 - Earl T. Barr, Mark Harman, Yue Jia, Alexandru Marginean, Justyna Petke:
Automated software transplantation. 257-269 - Du Shen, Qi Luo, Denys Poshyvanyk, Mark Grechanik:
Automating performance bottleneck detection using search-based application profiling. 270-281
Verification
- Marko Dimjasevic, Dimitra Giannakopoulou:
Test-case generation for runtime analysis and vice versa: verification of aircraft separation assurance. 282-292 - Lin Gui, Jun Sun, Yang Liu, Jin Song Dong:
Reliability assessment for distributed systems via communication abstraction and refinement. 293-304 - Andrea Aquino, Francesco A. Bianchi, Meixian Chen, Giovanni Denaro, Mauro Pezzè:
Reusing constraint proofs in program analysis. 305-315
Random Testing
- Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa, Shinichi Honiden:
Feedback-controlled random test generation. 316-326 - Vu Le, Chengnian Sun, Zhendong Su:
Randomized stress-testing of link-time optimizers. 327-337 - José Miguel Rojas, Gordon Fraser, Andrea Arcuri:
Automated unit test generation during software development: a controlled experiment and think-aloud observations. 338-349
Domain-Specific Testing
- Yoshiki Sato, Shumpei Hozumi, Shigeru Chiba:
Calculation coverage testing in scientific applications. 350-360 - Kai Cong, Li Lei, Zhenkun Yang, Fei Xie:
Automatic fault injection for driver robustness testing. 361-372 - Kivanç Muslu, Yuriy Brun, Alexandra Meliou:
Preventing data errors with continuous testing. 373-384
Model-Based Testing
- Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel C. Briand, Muhammad Zohaib Z. Iqbal:
Automatic generation of system test cases from use case specifications. 385-396 - Tao Yue, Shaukat Ali, Man Zhang:
RTCM: a natural language based, automated, and practical test case generation framework. 397-408
Tool Demonstrations
- Jonathan Bell, Gail E. Kaiser:
Dynamic taint tracking for Java with phosphor (demo). 409-413 - Alex Groce, Jervis Pinto, Pooria Azimi, Pranjal Mittal:
TSTL: a language and tool for testing (demo). 414-417 - Alexander Tarvo, Peter F. Sweeney, Nick Mitchell, V. T. Rajan, Matthew Arnold, Ioana Baldini:
CanaryAdvisor: a statistical-based tool for canary testing (demo). 418-422 - Tanakorn Leesatapornwongsa, Haryadi S. Gunawi:
SAMC: a fast model checker for finding heisenbugs in distributed systems (demo). 423-427
Doctoral Symposium
- Peter Ohmann:
Making your crashes work for you (doctoral symposium). 428-431 - Andrea Aquino:
Scalable program analysis through proof caching (doctoral symposium). 432-435 - Teng Long:
Collaborative testing across shared software components (doctoral symposium). 436-439 - Gülsen Demiröz:
Cost-aware combinatorial interaction testing (doctoral symposium). 440-443 - Thomas Rolfsnes:
Mining change history for test-plan generation (doctoral symposium). 444-447
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-18 21:26 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:
