Travelled to:1 × Austria
1 × Canada
1 × Finland
1 × Germany
3 × USA
Collaborated with:S.P.Rajan M.B.Dwyer P.C.Mehlitz M.Ujma C.S.Pasareanu Robby W.Visser
Talks about:model (5) check (5) generat (4) softwar (3) environ (3) applic (3) autom (3) modular (2) analysi (2) interact (1)
Person: Oksana Tkachuk
DBLP: Tkachuk:Oksana
Contributed to:
2011
20112007
200620042003
2003Wrote 7 papers:
- ASE-2011-MehlitzTU #model checking #named #user interface
- JPF-AWT: Model checking GUI applications (PCM, OT, MU), pp. 584–587.
- FASE-2011-TkachukR #analysis #automation #generative #web
- Automated Driver Generation for Analysis of Web Applications (OT, SPR), pp. 326–340.
- ASE-2007-TkachukR #composition #generative #model checking #slicing
- Combining environment generation and slicing for modular software model checking (OT, SPR), pp. 401–404.
- ISSTA-2006-TkachukR #automation #generative
- Application of automated environment generation to commercial software (OT, SPR), pp. 203–214.
- ASE-2004-DwyerRTV #interactive #model checking #order
- Analyzing Interaction Orderings with Model Checking (MBD, R, OT, WV), pp. 154–163.
- ASE-2003-TkachukDP #automation #generative #model checking
- Automated Environment Generation for Software Model Checking (OT, MBD, CSP), pp. 116–129.
- ESEC-FSE-2003-TkachukD #adaptation #analysis #composition #model checking
- Adapting side effects analysis for modular program model checking (OT, MBD), pp. 188–197.