( en | de | ru )

 

Disambiguierung von "Filieri, Antonio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Iterative test suites refinement for elastic computing systems.

, , und . ESEC/SIGSOFT FSE, Seite 635-638. ACM, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Antonio Wünsch

Antonio Accardi

Antonio Bergua

Antonio Pinto

Antonio Dell'Aquila

 

Weitere Publikationen von Autoren mit dem selben Namen

Run-time efficient probabilistic model checking., , und . ICSE, Seite 341-350. ACM, (2011)Iterative distribution-aware sampling for probabilistic symbolic execution., , , und . ESEC/SIGSOFT FSE, Seite 866-877. ACM, (2015)Compositional solution space quantification for probabilistic software analysis., , , , und . PLDI, Seite 123-132. ACM, (2014)Input splitting for cloud-based static application security testing platforms., , , , , , , , , und . ESEC/SIGSOFT FSE, Seite 1367-1378. ACM, (2022)Statistical symbolic execution with informed sampling., , , und . SIGSOFT FSE, Seite 437-448. ACM, (2014)Model based verification and adaptation of software systems @runtime.. Polytechnic University of Milan, Italy, (2013)Neural-Based Test Oracle Generation: A Large-Scale Evaluation and Lessons Learned., , , , und . ESEC/SIGSOFT FSE, Seite 120-132. ACM, (2023)Enhancing Performance Modeling of Serverless Functions via Static Analysis., , und . ICSOC, Volume 13740 von Lecture Notes in Computer Science, Seite 71-88. Springer, (2022)Reliability Analysis in Symbolic Pathfinder: A brief summary., , und . Software Engineering, Volume P-227 von LNI, Seite 39-40. GI, (2014)Autotuning control structures for reliability-driven dynamic binding., , , und . CDC, Seite 418-423. IEEE, (2012)