|
Search the dblp DataBase
Oksana Tkachuk:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Oksana Tkachuk, Sreeranga P. Rajan
Application of automated environment generation to commercial software. [Citation Graph (0, 0)][DBLP] ISSTA, 2006, pp:203-214 [Conf]
- Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser
Analyzing Interaction Orderings with Model Checking. [Citation Graph (0, 0)][DBLP] ASE, 2004, pp:154-163 [Conf]
- Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu
Automated Environment Generation for Software Model Checking. [Citation Graph (0, 0)][DBLP] ASE, 2003, pp:116-129 [Conf]
- Oksana Tkachuk, Matthew B. Dwyer
Adapting side effects analysis for modular program model checking. [Citation Graph (0, 0)][DBLP] ESEC / SIGSOFT FSE, 2003, pp:188-197 [Conf]
WEAVE: WEb Applications Validation Environment. [Citation Graph (, )][DBLP]
Combining environment generation and slicing for modular software model checking. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|