BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Arcaini:Paolo

Facilitated 2 volumes:

A-MOST 2019PrCo
A-MOST 2020PrCo

Contributed to:

ESEC/FSE 20152015
ICST 20152015
TAP 20142014
ASE 20112011
CAV (1) 20192019
ECSA 20182018

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.