Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLeonardo Mariani
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[i38]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav:
Property-Based Mutation Testing. CoRR abs/2301.13615 (2023)- 2022
- [j33]Antonia Bertolino, Pietro Braione, Guglielmo De Angelis
, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Roberto Pietrantuono, Stefano Russo, Paolo Tonella:
A Survey of Field-based Testing Techniques. ACM Comput. Surv. 54(5): 92:1-92:39 (2022) - [j32]Davide Ginelli, Matias Martinez, Leonardo Mariani, Martin Monperrus:
A comprehensive study of code-removal patches in automated program repair. Empir. Softw. Eng. 27(4): 97 (2022) - [j31]Fabrizio Pastore, Daniela Micucci, Michell Guzmán, Leonardo Mariani:
TkT: Automatic Inference of Timed and Extended Pushdown Automata. IEEE Trans. Software Eng. 48(2): 617-636 (2022) - [c94]Oliviero Riganelli, Ionut Daniel Fagadau, Daniela Micucci, Leonardo Mariani:
Proactive Libraries: Enforcing Correct Behaviors in Android Apps. ICSE-Companion 2022: 159-163 - [c93]Cecilio Cannavacciuolo, Leonardo Mariani:
Smoke Testing of Cloud Systems. ICST 2022: 47-57 - [c92]Luca Gazzola, Leonardo Mariani, Matteo Orrù, Mauro Pezzè, Martin Tappler:
Testing Software in Production Environments with Data from the Field. ICST 2022: 58-69 - [c91]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Non-functional Testing of Runtime Enforcers in Android. ISoLA (1) 2022: 320-334 - [c90]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav:
Search-based Testing for Accurate Fault Localization in CPS. ISSRE 2022: 145-156 - [c89]Cecilio Cannavacciuolo, Leonardo Mariani:
Automatic generation of smoke test suites for kubernetes. ISSTA 2022: 769-772 - [c88]Farideh Khalili, Ali Mohebbi, Valerio Terragni, Mauro Pezzè, Leonardo Mariani, Abbas Heydarnoori:
The ineffectiveness of domain-specific word embedding models for GUI test reuse. ICPC 2022: 560-564 - [c87]Vera Colombo, Alessandro Tundo, Michele Ciavotta, Leonardo Mariani:
Towards Self-Adaptive Peer-to-Peer Monitoring for Fog Environments. SEAMS 2022: 156-166 - [c86]Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav:
FIM: fault injection and mutation for Simulink. ESEC/SIGSOFT FSE 2022: 1716-1720 - [i37]Davide Ginelli, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Exception-Driven Fault Localization for Automated Program Repair. CoRR abs/2201.00736 (2022) - [i36]Oliviero Riganelli, Ionut Daniel Fagadau, Daniela Micucci, Leonardo Mariani:
Proactive Libraries: Enforcing Correct Behaviors in Android Apps. CoRR abs/2202.11999 (2022) - [i35]Vera Colombo, Alessandro Tundo, Michele Ciavotta, Leonardo Mariani:
Towards Self-Adaptive Peer-to-Peer Monitoring for Fog Environments. CoRR abs/2205.04142 (2022) - [i34]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Non-Functional Testing of Runtime Enforcers in Android. CoRR abs/2210.12155 (2022) - 2021
- [j30]Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè:
On introducing automatic test case generation in practice: A success story and lessons learned. J. Syst. Softw. 176: 110933 (2021) - [j29]Matthias Güdemann, Leonardo Mariani:
Preface to the special issue on improving software quality through program analysis. Softw. Qual. J. 29(3): 595-596 (2021) - [j28]Bernd Finkbeiner, Leonardo Mariani:
Introduction to the special issue of the 19th International Conference on Runtime Verification. Int. J. Softw. Tools Technol. Transf. 23(4): 545-546 (2021) - [j27]Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic:
CPSDebug: Automatic failure explanation in CPS models. Int. J. Softw. Tools Technol. Transf. 23(5): 783-796 (2021) - [c85]Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas:
An Evolutionary Approach to Adapt Tests Across Mobile Apps. AST@ICSE 2021: 70-79 - [c84]Oliviero Riganelli, Paolo Saltarel, Alessandro Tundo, Marco Mobilio, Leonardo Mariani:
Cloud Failure Prediction with Hierarchical Temporal Memory: An Empirical Assessment. ICMLA 2021: 785-790 - [c83]Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, Valerio Terragni:
Semantic matching of GUI events for test reuse: are we there yet? ISSTA 2021: 177-190 - [c82]Davide Ginelli, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Exception-Driven Fault Localization for Automated Program Repair. QRS 2021: 598-607 - [e7]Zhi Jin, Xuandong Li, Jianwen Xiang, Leonardo Mariani, Ting Liu, Xiao Yu, Nahgmeh Ivaki:
32nd IEEE International Symposium on Software Reliability Engineering, ISSRE 2021, Wuhan, China, October 25-28, 2021. IEEE 2021, ISBN 978-1-6654-2587-2 [contents] - [i33]Alessandro Tundo, Chiara Castelnovo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
Declarative Dashboard Generation. CoRR abs/2101.00274 (2021) - [i32]Matteo Brunetto, Giovanni Denaro, Leonardo Mariani, Mauro Pezzè:
On Introducing Automatic Test Case Generation in Practice: A Success Story and Lessons Learned. CoRR abs/2103.00465 (2021) - [i31]Leonardo Mariani, Mauro Pezzè, Valerio Terragni, Daniele Zuddas:
An Evolutionary Approach to Adapt Tests Across Mobile Apps. CoRR abs/2104.05233 (2021) - [i30]Oliviero Riganelli, Paolo Saltarel, Alessandro Tundo, Marco Mobilio, Leonardo Mariani:
Cloud Failure Prediction with Hierarchical Temporary Memory: An Empirical Assessment. CoRR abs/2110.03431 (2021) - 2020
- [j26]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Predicting failures in multi-tier distributed systems. J. Syst. Softw. 161 (2020) - [j25]Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani:
In-the-field monitoring of functional calls: Is it feasible? J. Syst. Softw. 163: 110523 (2020) - [j24]Yliès Falcone, Leonardo Mariani:
Preface to the special section on improving software quality through formal methods. Softw. Qual. J. 28(2): 693-694 (2020) - [c81]Luca Gazzola, Maayan Goldstein, Leonardo Mariani, Itai Segall, Luca Ussi:
Automatic Ex-Vivo Regression Testing of Microservices. AST@ICSE 2020: 11-20 - [c80]Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani:
CBR: Controlled Burst Recording. ICST 2020: 243-253 - [c79]Mariano Ceccato, Davide Corradini, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella:
A Framework for In-Vivo Testing of Mobile Applications. ICST 2020: 286-296 - [c78]Alessandro Tundo, Chiara Castelnovo, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
Declarative Dashboard Generation. ISSRE Workshops 2020: 215-218 - [c77]Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani:
Data loss detector: automatically revealing data loss bugs in Android apps. ISSTA 2020: 141-152 - [c76]Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore:
CPSDebug: a tool for explanation of failures in cyber-physical systems. ISSTA 2020: 569-572 - [c75]Diego Clerissi, Giovanni Denaro, Marco Mobilio, Leonardo Mariani:
Plug the Database & Play With Automatic Testing: Improving System Testing by Exploiting Persistent Data. ASE 2020: 66-77 - [c74]Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades. ASE 2020: 1292-1296 - [c73]Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Test4Enforcers: Test Case Generation for Software Enforcers. RV 2020: 279-297 - [e6]David Lo, Leonardo Mariani, Ali Mesbah:
MOBILESoft '20: IEEE/ACM 7th International Conference on Mobile Software Engineering and Systems, Seoul, Republic of Korea, July 13-15, 2020. ACM 2020, ISBN 978-1-4503-7959-5 [contents] - [i29]Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani:
In-The-Field Monitoring of Functional Calls: Is It Feasible? CoRR abs/2001.07283 (2020) - [i28]Mariano Ceccato, Davide Corradini, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella:
A Framework for In-Vivo Testing of Mobile Applications. CoRR abs/2002.01785 (2020) - [i27]Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani:
CBR: Controlled Burst Recording. CoRR abs/2002.01872 (2020) - [i26]Michell Guzmán, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Test4Enforcers: Test Case Generation for Software Enforcers. CoRR abs/2010.04258 (2020) - [i25]Oliviero Riganelli, Simone Paolo Mottadelli, Claudio Rota, Daniela Micucci, Leonardo Mariani:
Data Loss Detector: Automatically Revealing Data Loss Bugs in Android Apps. CoRR abs/2010.05584 (2020) - [i24]Davide Ginelli, Matias Martinez, Leonardo Mariani, Martin Monperrus:
A Comprehensive Study of Code-removal Patches in Automated Program Repair. CoRR abs/2012.06264 (2020) - [i23]Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades. CoRR abs/2012.15627 (2020)
2010 – 2019
- 2019
- [j23]Oscar Cornejo, Davide Ginelli, Daniela Briola, Daniela Micucci, Leonardo Mariani:
Field Monitoring With Delayed Saving. IEEE Access 7: 85913-85924 (2019) - [j22]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
From source code to test cases: A comprehensive benchmark for resource leak detection in Android apps. Softw. Pract. Exp. 49(3): 540-548 (2019) - [j21]Daniela Briola, Daniela Micucci, Leonardo Mariani:
A platform for P2P agent-based collaborative applications. Softw. Pract. Exp. 49(3): 549-558 (2019) - [j20]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement. ACM Trans. Auton. Adapt. Syst. 14(2): 8:1-8:29 (2019) - [j19]Luca Gazzola, Daniela Micucci, Leonardo Mariani:
Automatic Software Repair: A Survey. IEEE Trans. Software Eng. 45(1): 34-67 (2019) - [c72]Mariano Ceccato, Luca Gazzola, Fitsum Meshesha Kifetew, Leonardo Mariani, Matteo Orrù, Paolo Tonella:
Toward In-Vivo Testing of Mobile Applications. ISSRE Workshops 2019: 137-143 - [c71]Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani:
Anomaly Detection As-a-Service. ISSRE Workshops 2019: 193-199 - [c70]Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade. ISSRE 2019: 358-368 - [c69]Oliviero Riganelli, Marco Mobilio, Daniela Micucci, Leonardo Mariani:
A benchmark of data loss bugs for Android apps. MSR 2019: 582-586 - [c68]Giovanni Denaro, Luca Guglielmo, Leonardo Mariani, Oliviero Riganelli:
GUI testing in production: challenges and opportunities. Programming 2019: 18:1-18:3 - [c67]Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic:
Automatic Failure Explanation in CPS Models. SEFM 2019: 69-86 - [c66]Alessandro Tundo, Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Michell Guzmán, Leonardo Mariani:
VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud. ESEC/SIGSOFT FSE 2019: 1085-1089 - [e5]Bernd Finkbeiner, Leonardo Mariani:
Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. Lecture Notes in Computer Science 11757, Springer 2019, ISBN 978-3-030-32078-2 [contents] - [i22]Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, João M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz:
COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. CoRR abs/1902.03776 (2019) - [i21]Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic:
Automatic Failure Explanation in CPS Models. CoRR abs/1903.12468 (2019) - [i20]Oliviero Riganelli, Marco Mobilio, Daniela Micucci, Leonardo Mariani:
A Benchmark of Data Loss Bugs for Android Apps. CoRR abs/1905.11040 (2019) - [i19]Marco Mobilio, Matteo Orrù, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani:
Anomaly Detection As-a-Service. CoRR abs/1909.08378 (2019) - [i18]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Controlling Interactions with Libraries in Android Apps Through Runtime Enforcement. CoRR abs/1911.09357 (2019) - [i17]Marco Mobilio, Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
FILO: FIx-LOcus Recommendation for Problems Caused by Android Framework Upgrade. CoRR abs/1911.09388 (2019) - [i16]Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Predicting Failures in Multi-Tier Distributed Systems. CoRR abs/1911.09561 (2019) - 2018
- [j18]Sina Shamshiri, José Miguel Rojas, Luca Gazzola, Gordon Fraser, Phil McMinn, Leonardo Mariani, Andrea Arcuri:
Random or evolutionary search for object-oriented test suite generation? Softw. Test. Verification Reliab. 28(4) (2018) - [c65]Paul Veitch, Adam Broadbent, Steven van Rossem, Bessem Sayadi, Lionel Natarianni, Bilal Al Jammal, Laurent Roullet, Angelos Mimidis, Eder Ollora, José Soler, Sebastien Pinneterre, Michele Paolino, Aurora Ramos, X. Du, Michail Flouris, Leonardo Mariani, Oliviero Riganelli, Marco Mobilio, Anas Shatnawi, Matteo Orrù, Maurice Zembra:
Re-Factored Operational Support Systems for the Next Generation Platform-as-a-Service (NGPaaS). 5G World Forum 2018: 1-5 - [c64]Anas Shatnawi, Matteo Orrù, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
Cloudhealth: a model-driven approach to watch the health of cloud services. SoHeal@ICSE 2018: 40-47 - [c63]Leonardo Mariani, Mauro Pezzè, Daniele Zuddas:
Augusto: exploiting popular functionalities for the generation of semantic GUI tests with Oracles. ICSE 2018: 280-290 - [c62]Luca Gazzola, Daniela Micucci, Leonardo Mariani:
Automatic software repair: a survey. ICSE 2018: 1219 - [c61]Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Localizing Faults in Cloud Systems. ICST 2018: 262-273 - [c60]Angelos Mimidis, Eder Ollora, José Soler, Bessem Sayadi, Laurent Roullet, Steven van Rossem, Sebastien Pinneterre, Michele Paolino, Daniel Raho, Xuan Du, Julian Chesterfield, Michail Flouris, Leonardo Mariani, Oliviero Riganelli, Marco Mobilio, Aurora Ramos, Ignacio Labrador, Adam Broadbent, Paul Veitch, Maurice Zembra:
The Next Generation Platform as a Service Cloudifying Service Deployments in Telco-Operators Infrastructure. ICT 2018: 399-404 - [c59]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Increasing the Reusability of Enforcers with Lifecycle Events. ISoLA (4) 2018: 51-57 - [p8]Yliès Falcone, Leonardo Mariani, Antoine Rollet, Saikat Saha:
Runtime Failure Prevention and Reaction. Lectures on Runtime Verification 2018: 103-134 - [i15]Leonardo Mariani, Cristina Monni, Mauro Pezzè, Oliviero Riganelli, Rui Xin:
Localizing Faults in Cloud Systems. CoRR abs/1803.00356 (2018) - [i14]Anas Shatnawi, Matteo Orrù, Marco Mobilio, Oliviero Riganelli, Leonardo Mariani:
CloudHealth: A Model-Driven Approach to Watch the Health of Cloud Services. CoRR abs/1803.05233 (2018) - [i13]Matteo Orrù, Marco Mobilio, Anas Shatnawi, Oliviero Riganelli, Alessandro Tundo, Leonardo Mariani:
Model-Based Monitoring for IoTs Smart Cities Applications. CoRR abs/1807.07460 (2018) - [i12]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Increasing the Reusability of Enforcers with Lifecycle Events. CoRR abs/1810.04893 (2018) - 2017
- [j17]Leonardo Mariani, Dan Hao, Rajesh Subramanyan, Hong Zhu:
The central role of test automation in software quality assurance. Softw. Qual. J. 25(3): 797-802 (2017) - [j16]Leonardo Mariani, Mauro Pezzè, Mauro Santoro:
GK-Tail+ An Efficient Approach to Learn Software Models. IEEE Trans. Software Eng. 43(8): 715-738 (2017) - [c58]Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani:
In the Field Monitoring of Interactive Application. ICSE-NIER 2017: 55-58 - [c57]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Policy Enforcement with Proactive Libraries. SEAMS@ICSE 2017: 182-192 - [c56]Fabrizio Pastore, Daniela Micucci, Leonardo Mariani:
Timed k-Tail: Automatic Inference of Timed Automata. ICST 2017: 401-411 - [c55]Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè:
An Exploratory Study of Field Failures. ISSRE 2017: 67-77 - [c54]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone:
Verifying Policy Enforcers. RV 2017: 241-258 - [c53]Fabrizio Pastore, Leonardo Mariani, Daniela Micucci:
BDCI: behavioral driven conflict identification. ESEC/SIGSOFT FSE 2017: 570-581 - [c52]Fabrizio Pastore, Leonardo Mariani:
VART: a tool for the automatic detection of regression faults. ESEC/SIGSOFT FSE 2017: 964-968 - [c51]Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani:
Fragmented Monitoring. PrePost@iFM 2017: 57-68 - [i11]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Healing Data Loss Problems in Android Apps. CoRR abs/1701.05467 (2017) - [i10]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Policy Enforcement with Proactive Libraries. CoRR abs/1703.08005 (2017) - [i9]Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani:
In The Field Monitoring of Interactive Applications. CoRR abs/1705.06511 (2017) - [i8]Fabrizio Pastore, Daniela Micucci, Leonardo Mariani:
Timed k-Tail: Automatic Inference of Timed Automata. CoRR abs/1705.08399 (2017) - [i7]Fabrizio Pastore, Leonardo Mariani:
Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. CoRR abs/1705.08418 (2017) - [i6]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani, Yliès Falcone:
Verifying Policy Enforcers. CoRR abs/1707.07473 (2017) - [i5]Fabrizio Pastore, Leonardo Mariani, Daniela Micucci:
BDCI: Behavioral Driven Conflict Identification. CoRR abs/1708.01650 (2017) - [i4]Fabrizio Pastore, Leonardo Mariani:
VART: A Tool for the Automatic Detection of Regression Faults. CoRR abs/1708.02052 (2017) - [i3]Luca Gazzola, Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè:
An Exploratory Study of Field Failures. CoRR abs/1708.09494 (2017) - 2016
- [j15]Daniela Micucci, Leonardo Mariani:
Numerical evaluation of the low Reynolds turbulent flow behaviour in a bioreactor. Int. J. Simul. Process. Model. 11(1): 66-75 (2016) - [c50]Fabrizio Pastore, Leonardo Mariani:
Dynamic Analysis of Regression Problems in Industrial Systems: Challenges and Solutions. ISoLA (2) 2016: 388-393 - [c49]Oliviero Riganelli, Daniela Micucci, Leonardo Mariani:
Healing Data Loss Problems in Android Apps. ISSRE Workshops 2016: 146-152 - 2015
- [j14]Leonardo Mariani, Mauro Pezzè, Daniele Zuddas:
Recent Advances in Automatic Black-Box Testing. Adv. Comput. 99: 157-193 (2015) - [j13]Mariano Ceccato, Alessandro Marchetto, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella:
Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency. ACM Trans. Softw. Eng. Methodol. 25(1): 5:1-5:38 (2015) - [c48]Fabrizio Pastore, Leonardo Mariani:
ZoomIn: Discovering Failures by Detecting Wrong Assertions. ICSE (1) 2015: 66-76 - [c47]Rajesh Subramanyan, Leonardo Mariani, Dan Hao:
10th International Workshop on Automation of Software Test (AST 2015). ICSE (2) 2015: 963-964 - [c46]Gordon Fraser, Thomas D. LaToza, Leonardo Mariani:
2nd International Workshop on Crowd Sourcing in Software Engineering (CSI-SE 2015). ICSE (2) 2015: 975-976 - [p7]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Introduction. Validation of Evolving Software 2015: 3-5 - [p6]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Challenges of Existing Technology. Validation of Evolving Software 2015: 7-17 - [p5]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Complementarities Among the Technologies Presented in the Book. Validation of Evolving Software 2015: 19-21 - [p4]Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler:
RADAR: Dynamic Analysis of Upgrades in C/C++ Software. Validation of Evolving Software 2015: 85-105 - [p3]Leonardo Mariani, Oliviero Riganelli, Mauro Santoro, Ali Muhammad:
G-RankTest: Dynamic Analysis and Testing of Upgrades in LabVIEW Software. Validation of Evolving Software 2015: 107-121 - [p2]Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad:
Regression Checking of Changes in C Software. Validation of Evolving Software 2015: 185-207 - [e4]Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina:
Validation of Evolving Software. Springer 2015, ISBN 978-3-319-10622-9 [contents] - [e3]