Travelled to:1 × Italy
1 × Korea
Collaborated with:E.Korshunova M.v.d.Brand M.R.Mousavi I.Raedts A.Serebrenik J.M.E.M.v.d.Werf L.J.Somers M.Boote
Talks about:framework (1) softwar (1) sequenc (1) diagram (1) revers (1) verif (1) sourc (1) engin (1) class (1) autom (1)
Person: Marija Petkovic
DBLP: Petkovic:Marija
Contributed to:
2007
2006Wrote 2 papers:
- SAC-2007-RaedtsPSWSB #automation #framework #verification
- A software framework for automated verification (IR, MP, AS, JMEMvdW, LJS, MB), pp. 1031–1032.
- WCRE-2006-KorshunovaPBM #c++ #diagrams #named #process #reverse engineering #sequence #source code #uml #xmi
- CPP2XMI: Reverse Engineering of UML Class, Sequence, and Activity Diagrams from C++ Source Code (EK, MP, MvdB, MRM), pp. 297–298.