Packevicius, Sarunas, Kaunas University of Technology, Lithuania

• Information Technology and Control Vol. 42 No. 2 (2013) - Articles
  Test Data Generation for Complex Data Types Using Imprecise Model Constraints and Constraint Solving Techniques
  Abstract  PDF
• Information Technology and Control Vol. 35 No. 3 (2006) - Articles
  EXTENSION OF PLA SPECIFICATION FOR DYNAMIC SYSTEM FORMALIZATION
  Abstract  PDF
• Information Technology and Control Vol. 36 No. 2 (2007) - Articles
  THE USE OF MODEL CONSTRAINTS AS IMPRECISE SOFTWARE TEST ORACLES
  Abstract  PDF
• Information Technology and Control Vol. 33 No. 4 (2004) - Articles
  THE IMPROVEMENT OF TEST INDEPENDENCE FROM CIRCUIT REALIZATION
  Abstract  PDF