BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tkachuk:Oksana

Contributed to:

ASE 20112011
FASE 20112011
ASE 20072007
ISSTA 20062006
ASE 20042004
ASE 20032003
ESEC/FSE 20032003

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.