| | Issue Date | Title | Author(s) |
| 1 | 2011 | Specification-based automated gui testing | Panayi, Charis ; Sofokleous, Anastasis A. ; Andreou, Andreas S. |
| 2 | Jun-2010 | Automatic search-based testing with the required k-tuples criterion | Sofokleous, Anastasis A. ; Krokou, Andria ; Andreou, Andreas S. |
| 3 | 2010 | A generic tool for building fuzzy cognitive map systems | Papaioannou, Maria ; Sofokleous, Anastasis A. ; Neocleous, Costas |
| 4 | 2010 | A unified web-based framework for Java code analysis and evolutionary automatic test-cases generation | Sofokleous, Anastasis A. ; Petsas, Panagiotis ; Andreou, Andreas S. |
| 5 | 1-Dec-2009 | Symbolic execution for dynamic, evolutionary test data generation | Andreou, Andreas S. ; Sofokleous, Anastasis A. ; Kourras, Antonis |
| 6 | 1-Feb-2009 | Automatic production of test data with a multiple batch-optimistic method | Sofokleous, Anastasis A. ; Andreou, Andreas S. |
| 7 | Nov-2008 | Automatic, evolutionary test data generation for dynamic software testing | Andreou, Andreas S. ; Sofokleous, Anastasis A. |
| 8 | Jun-2008 | Dynamic search-based test data generation focused on data flow paths | Sofokleous, Anastasis A. ; Andreou, Andreas S. |
| 9 | 1-Oct-2007 | An automatic software test-data generation scheme based on data flow criteria and genetic algorithms | Sofokleous, Anastasis A. ; Economides, Kypros A. ; Andreou, Andreas S. |
| 10 | Oct-2007 | Batch-optimistic test-cases generation using genetic algorithms | Sofokleous, Anastasis A. ; Andreou, Andreas S. |
| 11 | May-2006 | Creating and manipulating control flow graphs with multilevel grouping and code coverage | Sofokleous, Anastasis A. ; Andreou, Andreas S. ; Ioakim, Gianna |