Travelled to:1 × Germany
1 × Switzerland
Collaborated with:S.Glesner F.Friedemann J.Hänsel D.Rose
Talks about:time (2) test (2) evolutionari (1) algorithm (1) process (1) generat (1) continu (1) system (1) combin (1) verif (1)
Person: Paula Herber
DBLP: Herber:Paula
Contributed to:
2011
2009Wrote 2 papers:
- ICST-2011-HanselRHG #algorithm #embedded #generative #realtime
- An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems (JH, DR, PH, SG), pp. 170–179.
- TAP-2009-HerberFG #model checking #process #testing
- Combining Model Checking and Testing in a Continuous HW/SW Co-verification Process (PH, FF, SG), pp. 121–136.