default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th ISSTA 2017: Santa Barbara, CA, USA
- Tevfik Bultan, Koushik Sen:
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017. ACM 2017, ISBN 978-1-4503-5076-1
Improving Testing
- Alex Groce, Josie Holmes, Kevin Kellar:
One test to rule them all. 1-11 - Helge Spieker
, Arnaud Gotlieb, Dusica Marijan, Morten Mossige:
Reinforcement learning for automatic test case prioritization and selection in continuous integration. 12-22 - Shaikh Mostafa, Xiaoyin Wang, Tao Xie:
PerfRanker: prioritization of performance regression tests for collection-intensive software. 23-34 - Vanya Yaneva, Ajitha Rajan, Christophe Dubach:
Compiler-assisted test acceleration on GPUs for embedded software. 35-45
Testing
- Andreas Löscher, Konstantinos Sagonas:
Targeted property-based testing. 46-56 - Ermira Daka, José Miguel Rojas, Gordon Fraser:
Generating unit tests with descriptive names or: would you name your children thing1 and thing2? 57-67
Symbolic Execution
- David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar:
Accelerating array constraints in symbolic execution. 68-78 - Wei Sun, Lisong Xu, Sebastian G. Elbaum:
Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics. 79-89 - Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè:
Combining symbolic execution and search-based testing for programs with complex heap inputs. 90-101
Concurrency
- Pallavi Maiya, Aditya Kanade:
Efficient computation of happens-before relation for event-driven programs. 102-112 - Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li:
Automatic detection and validation of race conditions in interrupt-driven embedded software. 113-124 - Antoine El-Hokayem, Yliès Falcone:
Monitoring decentralized specifications. 125-135
Dynamic Analysis
- Yizhen Chen, Ming Ying, Daren Liu, Adil Alim, Feng Chen, Mei-Hwa Chen:
Effective online software anomaly detection. 136-146 - William Koch, Abdelberi Chaabane, Manuel Egele, William K. Robertson, Engin Kirda:
Semi-automated discovery of server-based information oversharing vulnerabilities in Android applications. 147-157 - Yonghwi Kwon, Weihang Wang, Yunhui Zheng, Xiangyu Zhang, Dongyan Xu:
CPR: cross platform binary code reuse via platform independent trace program. 158-169 - Marija Selakovic, Thomas Glaser, Michael Pradel:
An actionable performance profiler for optimizing the order of evaluations. 170-180
The Web
- Snigdha Athaiya, Raghavan Komondoor:
Testing and analysis of web applications using page models. 181-191 - Thomas A. Walsh, Gregory M. Kapfhammer, Phil McMinn:
Automated layout failure detection for responsive web pages without an explicit oracle. 192-202 - Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin:
Test execution checkpointing for web applications. 203-214
Experience Report
- Shaikh Mostafa, Rodney Rodriguez, Xiaoyin Wang:
Experience paper: a study on behavioral backward incompatibilities of Java software libraries. 215-225
Program Repair and Patching
- Qi Xin, Steven P. Reiss:
Identifying test-suite-overfitted patches through test case generation. 226-236 - Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim, Jacques Klein, Martin Monperrus, Yves Le Traon:
Impact of tool support in patch construction. 237-248 - Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond:
Automated repair of layout cross browser issues using search-based techniques. 249-260
Fault Localization and Mutation Testing
- Mengshi Zhang, Xia Li, Lingming Zhang, Sarfraz Khurshid:
Boosting spectrum-based fault localization using PageRank. 261-272 - Jeongju Sohn, Shin Yoo:
FLUCCS: using code and change metrics to improve fault localization. 273-283 - René Just, Bob Kurtz, Paul Ammann:
Inferring mutant utility from program context. 284-294 - Bo Wang, Yingfei Xiong, Yangqingwei Shi, Lu Zhang, Dan Hao:
Faster mutation analysis via equivalence modulo states. 295-306
Static Analysis
- Lisa Nguyen Quang Do, Karim Ali, Benjamin Livshits, Eric Bodden, Justin Smith, Emerson R. Murphy-Hill:
Just-in-time static analysis. 307-317 - Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush:
Refining interprocedural change-impact analysis using equivalence relations. 318-328 - Xiaokang Fan, Yulei Sui, Xiangke Liao, Jingling Xue:
Boosting the precision of virtual call integrity protection with partial pointer analysis for C++. 329-340 - John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum:
Lightweight detection of physical unit inconsistencies without program annotations. 341-351
Demonstrations
- John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum:
Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool. 352-355 - Josie Holmes, Alex Groce:
A suite of tools for making effective use of automatically generated tests. 356-359 - Thomas A. Walsh, Gregory M. Kapfhammer, Phil McMinn:
ReDeCheck: an automatic layout failure checking tool for responsively designed web pages. 360-363 - Alessio Gambi, Sebastian Kappler, Johannes Lampel, Andreas Zeller:
CUT: automatic unit testing in the cloud. 364-367 - Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond:
XFix: an automated tool for the repair of layout cross browser issues. 368-371 - Antoine El-Hokayem, Yliès Falcone:
THEMIS: a tool for decentralized monitoring algorithms. 372-375 - Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser:
JFIX: semantics-based repair of Java programs via symbolic PathFinder. 376-379 - Ben Spencer, Michael Benedikt, Anders Møller, Franck van Breugel:
ArtForm: a tool for exploring the codebase of form-based websites. 380-383 - Vanya Yaneva, Ajitha Rajan, Christophe Dubach:
ParTeCL: parallel testing using OpenCL. 384-387 - Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho:
Verifying digital systems with MATLAB. 388-391 - Sylvain Hallé, Raphaël Khoury:
SealTest: a simple library for test sequence generation. 392-395 - Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, Cindy Rubio-González:
GitcProc: a tool for processing and classifying GitHub commits. 396-399 - Dmitry Nurmuradov, Renée C. Bryce:
Caret-HM: recording and replaying Android user sessions with heat map generation using UI state clustering. 400-403 - Sylvain Hallé:
LabPal: repeatable computer experiments made easy. 404-407
Analysis
- Jaroslav Bendík:
Consistency checking in requirements analysis. 408-411 - Snigdha Athaiya:
Testing and analysis of web applications using page models. 412-415 - Tegan Brennan:
Path cost analysis for side channel detection. 416-419
Modeling and Learning
- Jenny Hotzkow:
Automatically inferring and enforcing user expectations. 420-423 - Deborah S. Katz:
Understanding intended behavior using models of low-level signals. 424-427 - Mark Santolucito:
Version space learning for verification on temporal differentials. 428-431
Testing
- Nataniel P. Borges Jr.:
Data flow oriented UI testing: exploiting data flows and UI elements to test Android applications. 432-435 - Björn Mathis:
Dynamic tainting for automatic test case generation. 436-439 - Carlos Oliveira:
Mapping hardness of automated software testing. 440-443 - Gunel Jahangirova:
Oracle problem in software testing. 444-447
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 2025-11-14 22:23 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:
