Zobrazeno 1 - 10
of 28
pro vyhledávání: '"GALEOTTI, JUAN PABLO"'
Due to its importance and widespread use in industry, automated testing of REST APIs has attracted major interest from the research community in the last few years. However, most of the work in the literature has been focused on black-box fuzzing. Al
Externí odkaz:
http://arxiv.org/abs/2309.08360
Autor:
Devroey, Xavier, Gambi, Alessio, Galeotti, Juan Pablo, Just, René, Kifetew, Fitsum, Panichella, Annibale, Panichella, Sebastiano
Researchers and practitioners have designed and implemented various automated test case generators to support effective software testing. Such generators exist for various languages (e.g., Java, C#, or Python) and for various platforms (e.g., desktop
Externí odkaz:
http://arxiv.org/abs/2106.07520
Autor:
Castaño, Rodrigo, Galeotti, Juan Pablo, Garbervetsky, Diego, Tapicer, Jonathan, Zoppi, Edgardo
Publikováno v:
EPTCS 139, 2014, pp. 1-15
In this paper we present an approach to check resource consumption contracts using an off-the-shelf static analyzer. We propose a set of annotations to support resource usage specifications, in particular, dynamic memory consumption constraints. Sinc
Externí odkaz:
http://arxiv.org/abs/1401.0968
Publikováno v:
EPTCS 139, 2014, pp. 59-64
We present an extension to the DynAlloy tool to navigate DynAlloy counterexamples: the DynAlloy Visualizer. The user interface mimics the functionality of a programming language debugger. Without this tool, a DynAlloy user is forced to deal with the
Externí odkaz:
http://arxiv.org/abs/1401.0973
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Software: Evolution & Process; Apr2023, Vol. 35 Issue 4, p1-24, 24p
Publikováno v:
ACM Transactions on Software Engineering & Methodology; Mar2021, Vol. 30 Issue 2, p1-36, 36p