3 citations · 4 across the 4 of their papers we have counts for
4 papers
Modeling, refining and analyzing Incomplete Büchi Automata
Claudio Menghi, Paola Spoletini, Carlo Ghezzi
Software development is an iterative process which includes a set of development steps that transform the initial high level specification of the system into its final, fully speci…
Enhancing Reuse of Constraint Solutions to Improve Symbolic Execution
Xiangyang Jia, Carlo Ghezzi, Shi Ying
Constraint solution reuse is an effective approach to save the time of constraint solving in symbolic execution. Most of the existing reuse approaches are based on syntactic or sem…
Offline Trace Checking of Quantitative Properties of Service-Based Applications
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic +1
Service-based applications are often developed as compositions of partner services. A service integrator needs precise methods to specify the quality attributes expected by each pa…
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce
Domenico Bianculli, Carlo Ghezzi, Srdan Krstic
Modern complex software systems produce a large amount of execution data, often stored in logs. These logs can be analyzed using trace checking techniques to check whether the syst…