|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 720 occurrences of 401 keywords
|
|
|
|
|
Results
Found 1044 publication records. Showing 1044 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis |
Shooting from the heap: ultra-scalable static analysis with heap snapshots.  |
ISSTA  |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Guo 0007, Cindy Rubio-González |
Exploiting community structure for floating-point precision tuning. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannic Noller, Rody Kersten, Corina S. Pasareanu |
Badger: complexity analysis with fuzzing and symbolic execution. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Meng Wu, Shengjian Guo, Patrick Schaumont, Chao Wang 0001 |
Eliminating timing side-channel leaks using program repair. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jian Gao 0008, Xin Yang, Yu Jiang 0001, Han Liu 0010, Weiliang Ying, Wanting Sun, Ming Gu 0001 |
Managing concurrent testing of data race with ComRaDe. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tien-Duy B. Le, David Lo 0001 |
Deep specification mining. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Cummins, Pavlos Petoumenos, Alastair Murray, Hugh Leather |
Compiler fuzzing through deep learning. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Tip, Eric Bodden (eds.) |
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018, Amsterdam, The Netherlands, July 16-21, 2018 |
ISSTA |
2018 |
DBLP BibTeX RDF |
|
| 1 | 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. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | August Shi, Alex Gyori, Suleman Mahmood, Peiyuan Zhao, Darko Marinov |
Evaluating test-suite reduction in real software evolution. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiajun Jiang, Yingfei Xiong 0001, Hongyu Zhang 0002, Qing Gao, Xiangqun Chen |
Shaping program repair space with existing patches and similar code. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song |
PerfFuzz: automatically generating pathological inputs. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingjun Lyu, Ding Li 0001, William G. J. Halfond |
Remove RATs from your code: automated optimization of resource inefficient database writes for mobile applications. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaekwon Lee, Dongsun Kim 0001, Tegawendé F. Bissyandé, Woosung Jung, Yves Le Traon |
Bench4BL: reproducibility study on the performance of IR-based bug localization. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Arianna Blasi, Alberto Goffi, Konstantin Kuznetsov 0001, Alessandra Gorla, Michael D. Ernst, Mauro Pezzè, Sergio Delgado Castellanos |
Translating code comments to procedure specifications. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu |
Symbolic path cost analysis for side-channel detection. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Filip Krikava, Jan Vitek |
Tests from traces: automated unit test extraction for R. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kareem Khazem, Earl T. Barr, Petr Hosek |
Making data-driven porting decisions with Tuscan. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tukaram Muske, Rohith Talluri, Alexander Serebrenik |
Repositioning of static analysis alarms. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiwei Yan, Linjie Pan 0001, Yaqi Li, Jun Yan 0009, Jian Zhang 0001 |
LAND: a user-friendly and customizable test generation tool for Android apps. |
ISSTA |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum |
Phriky-units: a lightweight, annotation-free physical unit inconsistency detection tool. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ermira Daka, José Miguel Rojas, Gordon Fraser 0001 |
Generating unit tests with descriptive names or: would you name your children thing1 and thing2? |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Gambi, Sebastian Kappler, Johannes Lampel, Andreas Zeller |
CUT: automatic unit testing in the cloud. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | John-Paul Ore, Carrick Detweiler, Sebastian G. Elbaum |
Lightweight detection of physical unit inconsistencies without program annotations. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Qi Xin, Steven P. Reiss |
Identifying test-suite-overfitted patches through test case generation. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Snigdha Athaiya |
Testing and analysis of web applications using page models. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Guarnieri, Petar Tsankov, Tristan Buchs, Mohammad Torabi Dashti, David A. Basin |
Test execution checkpointing for web applications. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmitry Nurmuradov, Renée C. Bryce |
Caret-HM: recording and replaying Android user sessions with heat map generation using UI state clustering. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaikh Mostafa, Xiaoyin Wang, Tao Xie 0001 |
PerfRanker: prioritization of performance regression tests for collection-intensive software. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Ben Spencer, Michael Benedikt, Anders Møller, Franck van Breugel |
ArtForm: a tool for exploring the codebase of form-based websites. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Hallé, Raphaël Khoury |
SealTest: a simple library for test sequence generation. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Walsh 0001, Gregory M. Kapfhammer, Phil McMinn |
ReDeCheck: an automatic layout failure checking tool for responsively designed web pages. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Nataniel P. Borges Jr. |
Data flow oriented UI testing: exploiting data flows and UI elements to test Android applications. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine El-Hokayem, Yliès Falcone |
Monitoring decentralized specifications. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Mathis |
Dynamic tainting for automatic test case generation. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Anil Koyuncu, Tegawendé F. Bissyandé, Dongsun Kim 0001, Jacques Klein, Martin Monperrus, Yves Le Traon |
Impact of tool support in patch construction. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pallavi Maiya, Aditya Kanade |
Efficient computation of happens-before relation for event-driven programs. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vanya Yaneva, Ajitha Rajan, Christophe Dubach |
Compiler-assisted test acceleration on GPUs for embedded software. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Bendík |
Consistency checking in requirements analysis. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Braione, Giovanni Denaro, Andrea Mattavelli, Mauro Pezzè |
Combining symbolic execution and search-based testing for programs with complex heap inputs. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond |
Automated repair of layout cross browser issues using search-based techniques. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Gunel Jahangirova |
Oracle problem in software testing. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | René Just, Bob Kurtz, Paul Ammann |
Inferring mutant utility from program context. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Oliveira |
Mapping hardness of automated software testing. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mengshi Zhang, Xia Li 0009, Lingming Zhang 0001, Sarfraz Khurshid |
Boosting spectrum-based fault localization using PageRank. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tevfik Bultan, Koushik Sen (eds.) |
Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14, 2017 |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaokang Fan, Yulei Sui, Xiangke Liao, Jingling Xue |
Boosting the precision of virtual call integrity protection with partial pointer analysis for C++. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Gyori, Shuvendu K. Lahiri, Nimrod Partush |
Refining interprocedural change-impact analysis using equivalence relations. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Santolucito |
Version space learning for verification on temporal differentials. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Antoine El-Hokayem, Yliès Falcone |
THEMIS: a tool for decentralized monitoring algorithms. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Sun 0044, Lisong Xu, Sebastian G. Elbaum |
Improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening, Eddie Batista de Lima Filho |
Verifying digital systems with MATLAB. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Wang 0093, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li |
Automatic detection and validation of race conditions in interrupt-driven embedded software. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yonghwi Kwon 0001, Weihang Wang 0001, Yunhui Zheng, Xiangyu Zhang 0001, Dongyan Xu |
CPR: cross platform binary code reuse via platform independent trace program. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Josie Holmes, Alex Groce |
A suite of tools for making effective use of automatically generated tests. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | William Koch, Abdelberi Chaabane, Manuel Egele, William K. Robertson, Engin Kirda |
Semi-automated discovery of server-based information oversharing vulnerabilities in Android applications. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Groce, Josie Holmes, Kevin Kellar |
One test to rule them all. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas A. Walsh 0001, Gregory M. Kapfhammer, Phil McMinn |
Automated layout failure detection for responsive web pages without an explicit oracle. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeongju Sohn, Shin Yoo |
FLUCCS: using code and change metrics to improve fault localization. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tegan Brennan |
Path cost analysis for side channel detection. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo 0001, Claire Le Goues, Willem Visser |
JFIX: semantics-based repair of Java programs via symbolic PathFinder. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | David Mitchel Perry, Andrea Mattavelli, Xiangyu Zhang 0001, Cristian Cadar |
Accelerating array constraints in symbolic execution. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Marija Selakovic, Thomas Glaser, Michael Pradel |
An actionable performance profiler for optimizing the order of evaluations. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaikh Mostafa, Rodney Rodriguez, Xiaoyin Wang |
Experience paper: a study on behavioral backward incompatibilities of Java software libraries. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Casey Casalnuovo, Yagnik Suchak, Baishakhi Ray, Cindy Rubio-González |
GitcProc: a tool for processing and classifying GitHub commits. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yizhen Chen, Ming Ying, Daren Liu, Adil Alim, Feng Chen 0001, Mei-Hwa Chen |
Effective online software anomaly detection. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Löscher, Konstantinos Sagonas |
Targeted property-based testing. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Hallé |
LabPal: repeatable computer experiments made easy. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vanya Yaneva, Ajitha Rajan, Christophe Dubach |
ParTeCL: parallel testing using OpenCL. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Snigdha Athaiya, Raghavan Komondoor |
Testing and analysis of web applications using page models. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Deborah S. Katz |
Understanding intended behavior using models of low-level signals. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisa Nguyen Quang Do, Karim Ali 0001, Benjamin Livshits, Eric Bodden, Justin Smith 0001, Emerson R. Murphy-Hill |
Just-in-time static analysis. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Helge Spieker, Arnaud Gotlieb, Dusica Marijan, Morten Mossige |
Reinforcement learning for automatic test case prioritization and selection in continuous integration. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jenny Hotzkow |
Automatically inferring and enforcing user expectations. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Wang 0050, Yingfei Xiong 0001, Yangqingwei Shi, Lu Zhang 0023, Dan Hao 0001 |
Faster mutation analysis via equivalence modulo states. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Sonal Mahajan, Abdulmajeed Alameer, Phil McMinn, William G. J. Halfond |
XFix: an automated tool for the repair of layout cross browser issues. |
ISSTA |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chengnian Sun, Vu Le 0002, Qirun Zhang, Zhendong Su 0001 |
Toward understanding compiler bugs in GCC and LLVM. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaozhu Meng, Barton P. Miller |
Binary code is not easy. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal André, Jean-Marie Mottu, Gerson Sunyé |
COSTOTest: a tool for building and running test harness for service-based component models (demo). |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikael Fagerström, Emre Emir Ismail, Grischa Liebel, Rohit Guliani, Fredrik Larsson, Karin Nordling, Eric Knauss, Patrizio Pelliccione |
Verdict machinery: on the need to automatically make sense of test results. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hiroaki Yoshida, Susumu Tokumoto, Mukul R. Prasad, Indradeep Ghosh, Tadahiro Uehara |
FSX: fine-grained incremental unit test generation for C/C++ programs. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavneet Singh Kochhar, Xin Xia 0001, David Lo 0001, Shanping Li |
Practitioners' expectations on automated fault localization. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Locke Callan, Farnaz Behrang, Alenka G. Zajic, Milos Prvulovic, Alessandro Orso |
Zero-overhead profiling via EM emanations. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Guozhu Meng, Yinxing Xue, Zhengzi Xu, Yang Liu 0003, Jie Zhang 0002, Annamalai Narayanan |
Semantic modelling of Android malware for effective malware comprehension, detection, and classification. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Gunel Jahangirova, David Clark 0001, Mark Harman, Paolo Tonella |
Test oracle assessment and improvement. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ibéria Medeiros, Nuno Ferreira Neves, Miguel Correia 0001 |
DEKANT: a static analysis tool that learns to detect web application vulnerabilities. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Carl Chapman, Kathryn T. Stolee |
Exploring regular expression usage and context in Python. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Linares Vásquez, Boyang Li 0002, Christopher Vendome, Denys Poshyvanyk |
Documenting database usages and schema constraints in database-centric applications. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Schroeder, Christian Berger 0001, Miroslaw Staron, Thomas Herpel, Alessia Knauss |
Unveiling anomalies and their impact on software quality in model-based automotive software revisions with software metrics and domain experts. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Tingting Yu, Michael Pradel |
SyncProf: detecting, localizing, and optimizing synchronization bottlenecks. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller |
Analyzing test completeness for dynamic languages. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Liu 0010, Omer Tripp, Xiangyu Zhang 0001 |
IPA: improving predictive analysis with pointer analysis. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | David H. White 0001, Thomas Rupprecht, Gerald Lüttgen |
DSI: an evidence-based approach to identify dynamic data structures in C programs. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry Coles, Thomas Laurent 0003, Christopher Henard, Mike Papadakis, Anthony Ventresque |
PIT: a practical mutation testing tool for Java (demo). |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sadeeq Jan, Cu D. Nguyen, Lionel C. Briand |
Automated and effective testing of web services for XML injection attacks. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Valerio Terragni, Yepang Liu 0001, Shing-Chi Cheung |
CSNIPPEX: automated synthesis of compilable code snippets from Q&A sites. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew Patrick, Andrew P. Craig, Nik J. Cunniffe, Matthew Parry, Christopher A. Gilligan |
Testing stochastic software using pseudo-oracles. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Matias Martinez, Martin Monperrus |
ASTOR: a program repair library for Java (demo). |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Zhang 0050, Ziyi Wang, Lingming Zhang 0001, Dan Hao 0001, Lei Zang, Shiyang Cheng 0002, Lu Zhang 0023 |
Predictive mutation testing. |
ISSTA |
2016 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 1044 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license