Oksana Tkachuk
According to our database1,
Oksana Tkachuk
authored at least 25 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
1
1
3
1
1
1
1
2
1
1
1
1
2
2
1
1
1
1
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024
2021
Pre-Deployment Security Assessment for Cloud Services through Semantic Reasoning (Extended Abstract).
Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021
2018
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
2017
Addressing challenges in obtaining high coverage when model checking Android applications.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017
2016
ACM SIGSOFT Softw. Eng. Notes, 2016
2015
ACM SIGSOFT Softw. Eng. Notes, 2015
ACM SIGSOFT Softw. Eng. Notes, 2015
Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops.
ACM SIGSOFT Softw. Eng. Notes, 2015
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
2014
ACM SIGSOFT Softw. Eng. Notes, 2014
Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture, 2014
2013
Proceedings of the Model Checking Software - 20th International Symposium, 2013
Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, 2013
2012
2011
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011
Proceedings of the Fundamental Approaches to Software Engineering, 2011
2010
IET Softw., 2010
2009
Proceedings of the 31st International Conference on Software Engineering, 2009
2007
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
2006
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006
2004
Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004
2003
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003