default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID27th ISSTA 2018: Amsterdam, The Netherlands
- Frank Tip, Eric Bodden:
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018. ACM 2018
ISSTA 2018 Retrospective Impact Paper Award
- Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser:
Test input generation with Java PathFinder: then and now (invited talk abstract). 1-2
Secure and Sound
- Martin Kellogg
, Vlastimil Dort, Suzanne Millstein, Michael D. Ernst:
Lightweight verification of array indexing. 3-14 - Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang:
Eliminating timing side-channel leaks using program repair. 15-26 - Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu:
Symbolic path cost analysis for side-channel detection. 27-37 - Magnus Madsen, Ondrej Lhoták:
Safe and sound program analysis with Flix. 38-48
Testing and Fault Localization
- Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer:
Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach. 49-60 - Jaekwon Lee, Dongsun Kim, Tegawendé F. Bissyandé, Woosung Jung, Yves Le Traon:
Bench4BL: reproducibility study on the performance of IR-based bug localization. 61-72 - Per Erik Strandberg, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, Wasif Afzal:
Automated test mapping and coverage for network topologies. 73-83 - August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov:
Evaluating test-suite reduction in real software evolution. 84-94
Machine Learning
- Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather:
Compiler fuzzing through deep learning. 95-105 - Tien-Duy B. Le, David Lo:
Deep specification mining. 106-117 - Anurag Dwarakanath, Manish Ahuja, Samarth Sikand, Raghotham M. Rao, R. P. Jagadeesh Chandra Bose, Neville Dubash, Sanjay Podder:
Identifying implementation bugs in machine learning based image classifiers using metamorphic testing. 118-128 - Yuhao Zhang, Yifan Chen, Shing-Chi Cheung, Yingfei Xiong, Lu Zhang:
An empirical study on TensorFlow program bugs. 129-140
Mobile
- Mattia Fazzini, Martin Prammer, Marcelo d'Amorim, Alessandro Orso:
Automatically translating bug reports into test cases for mobile apps. 141-152 - Li Li, Tegawendé F. Bissyandé, Haoyu Wang, Jacques Klein:
CiD: automating the detection of API-related compatibility issues in Android apps. 153-163 - Farnaz Behrang, Alessandro Orso:
Test migration for efficient large-scale assessment of mobile app coding assignments. 164-175 - Lina Qiu, Yingying Wang, Julia Rubin:
Analyzing the analyzers: FlowDroid/IccTA, AmanDroid, and DroidSafe. 176-186
Static Analysis
- Tukaram Muske, Rohith Talluri, Alexander Serebrenik:
Repositioning of static analysis alarms. 187-197 - Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis:
Shooting from the heap: ultra-scalable static analysis with heap snapshots. 198-208 - George Fourtounis, George Kastrinis, Yannis Smaragdakis:
Static analysis of Java dynamic proxies. 209-220 - Luc Bläser:
Practical detection of concurrency issues at coding time. 221-231
Test and Oracle Generation
- Filip Krikava, Jan Vitek:
Tests from traces: automated unit test extraction for R. 232-241 - Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Sergio Delgado Castellanos:
Translating code comments to procedure specifications. 242-253 - Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song:
PerfFuzz: automatically generating pathological inputs. 254-265
Porting and Repair
- Mohammad Moein Almasi, Hadi Hemmati, Gordon Fraser, Phil McMinn, Janis Benefelds:
Search-based detection of deviation failures in the migration of legacy spreadsheet applications. 266-275 - Kareem Khazem, Earl T. Barr, Petr Hosek:
Making data-driven porting decisions with Tuscan. 276-286 - René Just, Chris Parnin, Ian Drosos, Michael D. Ernst:
Comparing developer-provided to user-provided tests for fault localization and automated program repair. 287-297 - Jiajun Jiang, Yingfei Xiong, Hongyu Zhang, Qing Gao, Xiangqun Chen:
Shaping program repair space with existing patches and similar code. 298-309
Optimization and Performance
- Yingjun Lyu, Ding Li, William G. J. Halfond:
Remove RATs from your code: automated optimization of resource inefficient database writes for mobile applications. 310-321 - Yannic Noller, Rody Kersten, Corina S. Pasareanu:
Badger: complexity analysis with fuzzing and symbolic execution. 322-332 - Hui Guo, Cindy Rubio-González:
Exploiting community structure for floating-point precision tuning. 333-343 - Karl Palmskog, Ahmet Çelik, Milos Gligoric:
piCoq: parallel regression proving for large-scale verification projects. 344-355
Tool Demonstrations
- Jan Fiedor, Monika Muzikovská, Ales Smrcka, Ondrej Vasícek, Tomás Vojnar:
Advances in the ANaConDA framework for dynamic analysis and testing of concurrent C/C++ programs. 356-359 - Jiwei Yan, Linjie Pan, Yaqi Li, Jun Yan, Jian Zhang:
LAND: a user-friendly and customizable test generation tool for Android apps. 360-363 - Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, Ming Gu:
Managing concurrent testing of data race with ComRaDe. 364-367 - Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella:
OASIs: oracle assessment and improvement tool. 368-371 - Diego Rodríguez-Baquero, Mario Linares Vásquez:
Mutode: generic JavaScript and Node.js mutation testing tool. 372-375 - Vinh The Nguyen, Akbar Siami Namin, Tommy Dang:
MalViz: an interactive visualization tool for tracing malware. 376-379
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-12-12 20:46 CET 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:
