Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

Results 1-10 of 45
Item hits:
Issue DateTitleAuthor(s)
30-Apr-2013A syntactic-semantic approach to incremental verificationBianculli, D; Filieri, A; Ghezzi, C; Mandrioli, D
30-Sep-2010MANTra: towards model transformation testingCiancone, A; Filieri, A; Mirandola, R
31-Dec-2010Reliability analysis of component-based systems with multiple failure modesFilieri, A; Ghezzi, C; Grassi, V; Mirandola, R
8-Apr-2015Supporting Self-adaptation via Quantitative Verification and Sensitivity Analysis at Run TimeFilieri, A; Tamburrelli, G; Ghezzi, C
6-May-2015Quantification of software changes through probabilistic symbolic executionFilieri, A; Pasareanu, CS; Yang, G
30-Mar-2013The KlaperSuite framework for model-driven reliability analysis of component-based systemsCiancone, A; Drago, M; Filieri, A; Grassi, V; Koziolek, H, et al
13-Nov-2013Syntactic-semantic incrementality for agile verificationBianculli, D; Filieri, A; Ghezzi, C; Mandrioli, D
1-May-2013Testing operational transformations in model-driven engineeringCiancone, A; Filieri, A; Mirandola, R
13-Jun-2014On the probabilistic symbolic analysis of programsFilieri, A; Pasareanu, CS
6-Nov-2011Self-adaptive software meets control theory: a preliminary approach supporting reliability requirementsFilieri, A; Ghezzi, C; Leva, A; Maggio, M