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