Adilson Luiz Bonifcio
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2000–2014
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ICTAC | Partial Models and Weak Equivalence. | Adilson Luiz Bonifcio, Arnaldo Vieira Moura |
| 2014 | SAC | On the completeness of test suites. | Adilson Luiz Bonifcio, Arnaldo Vieira Moura |
| 2014 | SEFM | Test Suite Completeness and Partial Models. | Adilson Luiz Bonifcio, Arnaldo Vieira Moura |
| 2008 | SEFM | A Generalized Model-Based Test Generation Method. | Adilson Luiz Bonifcio, Arnaldo Vieira Moura, Adenilso da Silva Simo |
| 2000 | FMCAD | Modeling and Parameters Synthesis for an Air Traffic Management System. | Adilson Luiz Bonifcio, Arnaldo Vieira Moura |