Collaborated with:P.D.L.Machado
Talks about:properti (1) reactiv (1) generat (1) toward (1) system (1) purpos (1) test (1) ctl (1)
Person: Daniel Aguiar da Silva
DBLP: Silva:Daniel_Aguiar_da
Contributed to:
2006Wrote 1 papers:
- MBT-2006-SilvaM #generative #towards
- Towards Test Purpose Generation from CTL Properties for Reactive Systems (DAdS, PDLM), pp. 29–40.