selected publications
-
academic article
- Homing Sequence Derivation With Quantified Boolean Satisfiability. IEEE Transactions on Computers. 71:696-711. 2021
- Guest Editorial: Special issue on Testing Software and Systems. Software Quality Journal. 27:497-499. 2019
- Deriving Synchronizing and Homing Sequences for Input/Output Automata. Automatic Control and Computer Sciences. 52:589-595. 2018
- Source code optimization using equivalent mutants. Information and Software Technology. 103:138-141. 2018
- Verifying Digital Components of Physical Systems: Experimental Evaluation of Test Quality. Russian Physics Journal. 60:2012-2018. 2018
- Adaptive distinguishing test cases of nondeterministic finite state machines: test case derivation and length estimation. Formal Aspects of Computing. 30:319-332. 2018
- The complexity of checking the existence and derivation of adaptive synchronizing experiments for deterministic FSMs. Information Processing Letters. 127:49-53. 2017
- Novel machine learning technique for predicting teaching strategy effectiveness. International Journal of Information Management. 53:101488-101488. 2016
- QoE Prediction for Multimedia Services. International Journal of Organizational and Collective Intelligence. 4:44-64. 2014
- Parallel composition of nondeterministic Finite State Machines with Timeouts. . 2014
- A TEFSM-based Framework for QoE Evaluation of OTT Services. Proceedings of the Institute for System Programming of RAS. 26:17-30. 2014
- A SPIN-based approach for detecting vulnerabilities in C programs. Automatic Control and Computer Sciences. 46:379-386. 2012
-
blog posting
- Preventive Model-based Verification and Repairing for SDN Requests. arXiv (Cornell University). 2019
-
book
-
chapter
- Testing Against Non-deterministic FSMs: A Probabilistic Approach for Test Suite Minimization. Lecture notes in computer science. 55-61. 2022
- A Model Checking Based Approach for Detecting SDN Races. Lecture notes in computer science. 194-211. 2019
- Evaluating the Complexity of Deriving Adaptive Homing, Synchronizing and Distinguishing Sequences for Nondeterministic FSMs. Lecture notes in computer science. 86-103. 2019
- Test Derivation for SDN-Enabled Switches: A Logic Circuit Based Approach. Lecture notes in computer science. 69-84. 2018
- Multimedia Quality of Experience. IGI Global eBooks. 999-1034. 2017
- Multimedia Quality of Experience. Advances in multimedia and interactive technologies book series. 250-284. 2015
- QoE Prediction for Multimedia Services. IGI Global eBooks. 1784-1804. 2015
- Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines. Lecture notes in computer science. 33-48. 2013
-
conference paper
- Races in Extended Input/Ouput Automata, Their Compositions and Related Reactive Systems. . 727-734. 2024
- Studying Synchronization Issues for Extended Automata. . 338-345. 2023
- Timed Transition Tour for Race Detection in Distributed Systems. . 613-620. 2023
- Test Derivation for the Software Defined Networking Platforms: Novel Fault Models and Test Completeness. . 1-6. 2018
- Scalable Supervised Machine Learning Apparatus for Computationally Constrained Devices. . 552-562. 2018
- Towards Model based Testing for Software Defined Networks. . 440-446. 2018
- Decreasing the complexity of deriving test suites against nondeterministic finite state machines. . 1-4. 2017
- Improving Protocol Passive Testing through "Gedanken" Experiments with Finite State Machines. . 315-322. 2016
- Self-adaptive models for laser monitor image processing. . 300-303. 2016
- QoE Evaluation Based on QoS and QoBiz Parameters Applied to an OTT Service. . 607-614. 2015
- On Testing against Partial Non-observable Specifications. . 230-233. 2014
- On modeling and testing components of the European Train Control System. . 2014
- Evaluating Web Service QoE by Learning Logic Networks. . 168-176. 2014
- Extended Finite State Machine based Test Derivation Strategies for Telecommunication Protocols. Proceedings of the Spring/Summer young researchers' colloquium on software engineering. 2014
- Evaluating Quality of Web Services: A Short Survey. . 587-594. 2013
- FSM-Based Test Derivation Strategies for Systems with Time-Outs. . 141-149. 2011
Co-author Network