unknown component problem (21)
computer journal (11)
ieee transactions on computers (6)
information processing letters (6)
programming and computer software (5)
2020 ieee east-west design & test symposium (ewdts), design & test symposium (ewdts), 2020 ieee east-west (4)
implementation and application of automata (4)
information and software technology (4)
international journal on software tools for technology transfer (4)
modelirovanie i analiz informatsionnykh sistem. modeling and analysis of information systems (4)
science of computer programming (4)
software quality journal (4)
theoretical computer science (4)
2016 ieee east-west design & test symposium (ewdts), east-west design & test symposium (ewdts), 2016 ieee (3)
applied soft computing (3)
formal aspects of computing (3)
ieee transactions on software engineering (3)
otdelenie matematiki, mekhaniki i kibernetiki akademii nauk ukrainskoi\ ssr. kibernetika (3)
the computer journal (3)
2015 ieee east-west design & test symposium (ewdts), east-west design & test symposium (ewdts), 2015 ieee (2)
2015 international siberian conference on control and communications (sibcon), control and communications (sibcon), 2015 international siberian conference on (2)
2019 ieee east-west design & test symposium (ewdts), east-west design & test symposium (ewdts), 2019 ieee (2)
2021 ieee east-west design & test symposium (ewdts), east-west design & test symposium (ewdts), 2021 ieee (2)
automatic control and computer sciences (2)
cybernetics (2)
discrete event dynamic systems: theory and applications (2)
information & software technology (2)
international journal of information management (2)
international journal of parallel, emergent & distributed systems (2)
proceedings of the ieee (2)
software testing verification & reliability (2)
2008 1st international conference on software testing, verification, and validation, software testing, verification, and validation, 2008 1st international conference on (1)
2012 ieee fifth international conference on software testing, verification and validation, software testing, verification and validation (icst), 2012 ieee fifth international conference on (1)
2013 13th international conference on quality software, quality software (qsic), 2013 13th international conference on (1)
2013 ieee 20th international conference on web services, web services (icws), 2013 ieee 20th international conference on (1)
2014 9th international conference on the quality of information and communications technology, quality of information and communications technology (quatic), 2014 9th international conference on the (1)
2014 ieee 15th international symposium on high-assurance systems engineering, high-assurance systems engineering (hase), 2014 ieee 15th international symposium on (1)
computer communications (1)
digital multimedia : concepts, methodologies, tools, and applications (1)
discrete event dynamic systems-theory and applications (1)
formal approaches to software testing (9783540344544) (1)
formal aspects of computing: applicable formal methods (1)
formal methods in system design: an international journal (1)
formal techniques for networked & distributed systems - forte 2005 (1)
ifac papersonline (1)
ifac-papersonline (1)
international journal of organizational & collective intelligence (ijoci) (1)
journal of software engineering research and development (1)
protocol specification, testing and verification, xii (1)
testing of communicating systems (9783540341840) (1)