Travelled to:1 × Austria
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:A.Gargantini E.Riccobene P.Vavassori Z.Zhang I.Hasuo R.Mirandola P.Scandurra
Talks about:model (4) test (4) generat (3) system (3) boolean (2) decomposit (1) represent (1) techniqu (1) decompos (1) abstract (1)
Person: Paolo Arcaini
DBLP: Arcaini:Paolo
Facilitated 2 volumes:
PrCoPrCoContributed to:
2015
2015
2014
2011
2019
2018Wrote 6 papers:
- ESEC-FSE-2015-ArcainiGR #composition #generative #modelling #testing
- Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.
- ICST-2015-ArcainiGV #detection #fault #feature model #generative #modelling #testing
- Generating Tests for Detecting Faults in Feature Models (PA, AG, PV), pp. 1–10.
- TAP-2014-ArcainiGR #abstraction #model checking #testing
- An Abstraction Technique for Testing Decomposable Systems by Model Checking (PA, AG, ER), pp. 36–52.
- ASE-2011-ArcainiGR #automation #generative #optimisation #satisfiability #smt #testing
- Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions (PA, AG, ER), pp. 388–391.
- CAV-2019-ZhangHA #hybrid #multi
- Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification (ZZ, IH, PA), pp. 401–420.
- ECSA-2018-ArcainiMRS #adaptation #domain-specific language #representation #self
- A DSL for MAPE Patterns Representation in Self-adapting Systems (PA, RM, ER, PS), pp. 3–19.