Travelled to:1 × France
1 × Italy
Collaborated with:∅ L.Madani I.Parissis
Talks about:test (2) methodolog (1) reactiv (1) program (1) generat (1) control (1) automat (1) toward (1) system (1) studi (1)
Person: Virginia Papailiopoulou
DBLP: Papailiopoulou:Virginia
Contributed to:
2010
2008Wrote 2 papers:
- ICST-2010-MadaniPP #case study #testing #towards
- Towards a Testing Methodology for Reactive Systems: A Case Study of a Landing Gear Controller (LM, VP, IP), pp. 489–497.
- ASE-2008-Papailiopoulou #automation #generative #source code #testing
- Automatic Test Generation for LUSTRE/SCADE Programs (VP), pp. 517–520.