ISSTA/ECOOP Workshops

Publications

2018

Mauro Pezzè, Paolo Rondena, Daniele Zuddas
Automatic GUI testing of desktop applications: an empirical assessment of the state of the art. ISSTA/ECOOP Workshops (2018)
Davide Ancona, Francesco Dagnino, Luca Franceschini
A formalism for specification of Java API interfaces. ISSTA/ECOOP Workshops (2018)
François Gauthier, Behnaz Hassanshahi, Alexander Jordan
AFFOGATO: runtime detection of injection attacks for Node.js. ISSTA/ECOOP Workshops (2018)
Jerry Swan, Colin G. Johnson, Edwin C. Brady
Subtype polymorphism à la carte via machine learning on dependent types. ISSTA/ECOOP Workshops (2018)
Benjamin Chung, Jan Vitek
Monotonic gradual typing in a common calculus. ISSTA/ECOOP Workshops (2018)
Asanka P. Sayakkara, Nhien-An Le-Khac, Mark Scanlon
Electromagnetic side-channel attacks: potential for progressing hindered digital forensic analysis. ISSTA/ECOOP Workshops (2018)
Luca Ardito, Riccardo Coppola, Marco Torchiano, Emil Alégroth
Towards automated translation between generations of GUI-based tests for mobile devices. ISSTA/ECOOP Workshops (2018)
Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018 ISSTA/ECOOP Workshops (2018)
Tamás Szabó, Edlira Kuci, Matthijs Bijman, Mira Mezini, Sebastian Erdweg
Incremental overload resolution in object-oriented programming languages. ISSTA/ECOOP Workshops (2018)
Timofey Bryksin, Victor Petukhov, Kirill Smirenko, Nikita Povarov
Detecting anomalies in Kotlin code. ISSTA/ECOOP Workshops (2018)
Yang Zhao, Xingzhong Du, Paddy Krishnan, Cristina Cifuentes
Buffer overflow detection for C programs is hard to learn. ISSTA/ECOOP Workshops (2018)
Rudolf Ramler, Thomas Wetzlmaier, Robert Hoschek
GUI scalability issues of windows desktop applications and how to find them. ISSTA/ECOOP Workshops (2018)
Michael D. Shah, Samuel Z. Guyer
Iceberg: dynamic analysis of Java synchronized methods for investigating runtime performance variability. ISSTA/ECOOP Workshops (2018)
Vincenzo Riccio, Domenico Amalfitano, Anna Rita Fasolino
Is this the lifecycle we really want?: an automated black-box testing approach for Android activities. ISSTA/ECOOP Workshops (2018)
Heron Yang, Robert Morris, Corina S. Pasareanu
Analysing the effect of uncertainty in airport surface operations. ISSTA/ECOOP Workshops (2018)
Pascal Weisenburger, Tobias Reinhard, Guido Salvaneschi
Static latency tracking with placement types. ISSTA/ECOOP Workshops (2018)
Eric Bodden
The secret sauce in efficient and precise static analysis: the beauty of distributive, summary-based static analyses (and how to master them). ISSTA/ECOOP Workshops (2018)
Hila Peleg
On the importance of common sense in program synthesis. ISSTA/ECOOP Workshops (2018)
David R. Cok
Reasoning about functional programming in Java and C++. ISSTA/ECOOP Workshops (2018)
Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman
An exercise in verifying sequential programs with VerCors. ISSTA/ECOOP Workshops (2018)
Jens Palsberg, Cristina V. Lopes
NJR: a normalized Java resource. ISSTA/ECOOP Workshops (2018)
Michael Eichberg, Florian Kübler, Dominik Helm, Michael Reif, Guido Salvaneschi, Mira Mezini
Lattice based modularization of static analyses. ISSTA/ECOOP Workshops (2018)
Michael Reif, Florian Kübler, Michael Eichberg, Mira Mezini
Systematic evaluation of the unsoundness of call graph construction algorithms for Java. ISSTA/ECOOP Workshops (2018)
Elena Sherman
Redesigning Soot's data-flow analysis framework for abstract interpretation. ISSTA/ECOOP Workshops (2018)
Pedro Martins Pontes, Bruno Lima, João Pascoal Faria
: a pattern-based IoT testing framework. ISSTA/ECOOP Workshops (2018)
Artem Pelenitsyn
Can we learn some PL theory?: how to make use of a corpus of subtype checks. ISSTA/ECOOP Workshops (2018)