Travelled to:1 × Brazil
1 × Italy
Collaborated with:D.A.d.Silva F.G.d.O.Neto R.Torkar E.G.Cartaxo W.d.L.Andrade F.G.O.Neto
Talks about:test (3) generat (2) system (2) techniqu (1) reproduc (1) properti (1) function (1) softwar (1) reactiv (1) toward (1)
Person: Patrícia D. L. Machado
DBLP: Machado:Patr=iacute=cia_D=_L=
Contributed to:
2015
2008
2006Wrote 3 papers:
- ICSE-v2-2015-NetoTM #empirical #evaluation #testing
- An Initiative to Improve Reproducibility and Empirical Evaluation of Software Testing Techniques (FGdON, RT, PDLM), pp. 575–578.
- SAC-2008-CartaxoANM #embedded #functional #named #testing
- LTS-BT: a tool to generate and select functional test cases for embedded systems (EGC, WdLA, FGON, PDLM), pp. 1540–1544.
- MBT-2006-SilvaM #generative #towards
- Towards Test Purpose Generation from CTL Properties for Reactive Systems (DAdS, PDLM), pp. 29–40.