| Kiran Lakhotia, Mark Harman and Hamilton Gross. AUSTIN:An Open Source Tool for Search Based Software Testing of C Programs. Information and Software Technology (IST), 55 Issue 1, January, 2013 Elsevier USA 2013 pp. 112 - 125. |
| Mark Harman, Afshin Mansouri and Yuanyuan Zhang. Search Based Software Engineering Trends, Techniques and Applications, ACM Computing Surveys, ACM Computing Surveys Volume 45 Issue 1, November 2012 ACM USA 2012 pp. 1- 61. |
| Luay H. Tahat, Bogdan Korel, Mark Harman and Hasan Ural. Regression test suite prioritization using system models , Journal of Software Testing, Verification and Reliability, Volume 22 Issue 7, November 2012 Wiley UK 2012 pp. 481-506. |
|
Tanja E. J. Vos, Arthur Baars, Felix Lindlar, Andreas Windisch, Benjamin Wilmes, Hamilton Gross, Peter M. Kruse, Joachim Wegener. Industrial Case Studies for evaluating search based structural testing, International Journal of Software Engineering and Knowledge Engineering, Volume 22, Issue 8, pages 1123-1149 |
| Alessandro Marchetto, Paolo Tonella and Filippo Ricca. ReAjax: a reverse engineering tool for Ajax Web applications, IET Software, Volume 6, Issue 1, Pages 33-49, 2012. |
| Cu Nguyen, Simon Miles, Anna Perini, Paolo Tonella, Mark Harman and Michael Luck. Evolutionary Testing of Autonomous Software Agents, Autonomous Agents and Multi-Agent Systems, Volume 25, Issue 2, Pages 260-283, 2012. |
| Phil Mc Minn, Mark Harman, Youssef Hassoun, Kiran Lakhotia and Joachim Wegener. Input Domain Reduction through Irrelevant Variable Removal and its Effect on Local, Global and Hybrid Search-Based Structural Test Data Generation, IEEE Transactions on Software Engineering, Volume 38, Issue 2, May 2012, Pages 453-477. |
| Tanja E. J. Vos, Felix F. Lindlar, Benjamin Wilmes, Andreas Windisch, Arthur I. Baars, Peter M. Kruse, Hamilton Gross, and Joachm Wegener. Evolutionary functional black-box testing in an industrial setting, Software Quality Journal, Volume 21, Issue 2, 2013, pp 259-288. |
| Alessandro Marchetto and Paolo Tonella. Using search-based algorithms for Ajax event sequence generation during testing. Empirical Software Engineering, Volume 16, Issue 1, Pages 103-140, 2011. |
| Yue Jia and Mark Harman. An Analysis and Survey of the Development of Mutation Testing, IEEE Transactions on Software Engineering, Volume 37, Issue 5, Pages 649 – 678, September 2011. |
| Alessandro Marchetto, Roberto Tiella , Paolo Tonella, Nadia Alshahwan, and Mark Harman. Crawlability Metrics for Automated Web Testing, International Journal on Software Tools for Technology Transfer (STTT), 13(2): 131-149, 2011. |
| Shin Yoo and Mark Harman. Regression Testing Minimisation, Selection and Prioritisation: A Survey, Journal of Software Testing, Verification and Reliability, 22(2):67-120. |
| Peter M. Kruse and Magdalena Luniak. Automated Test Case Generation Using Classification Trees, Software Quality Professional, Volume 13, Issue 1, issued by American Society for Quality (ASQ), December 2010. |
| Bill Langdon, Mark Harman and Yue Jia. Efficient Multi Objective Higher Order Mutation Testing with Genetic Programming, Journal of Systems and Software, 2410--2430, 83(12), December,2010. |
| Peter Kruse, Nelly Condori-Fernández, Tanja Vos, Alessandra Bagnato and
Etienne Brosse The OMG UML Testing Profile in Use--An Industrial Case Study for the Future Internet Testing. International Symposium on Empirical Software Engineering and Measurement (ESEM 2013). Baltimore-USA. |
| Cu Duy Nguyen, Bilha Mendelson, Daniel Citron, Onn Shehory, Tanja Vos and
Nelly Condori-Fernández Evaluating the FITTEST Automated Testing Tools: an Industrial Case Study. International Symposium on Empirical Software Engineering and Measurement (ESEM 2013). Baltimore-USA. |
| Nelly Condori-Fernández, Tanja E. J. Vos Successful Empirical Research in Software Testing With Industry. Proceedings of the Industrial Track of the Conference on Advanced Information Systems Engineering. CAiSE 2013 |
| Bagnato A , Sadovykh. A., Brosse E., Vos, T.E.J. The OMG UML Testing Profile in Use--An Industrial Case Study for the Future Internet Testing. Software Maintenance and Reengineering (CSMR), 2013 17th European Conference on , vol., no., pp.457,460, 5-8 March 2013 ISSN : 1534-5351, Print ISBN: 978-1-4673-5833-0, Digital Object Identifier: 10.1109/CSMR.2013.71 |
| Cu Duy Nguyen, Paolo Tonella, Alessandro Marchetto, Kiran Lakhotia and Mark Harman. Automated Generation of State Abstraction Functions using Data Invariant Inference. Proc. of the Eighth International Workshop on Automation of Software Test (AST), S. Francisco, USA, May 18-19, 2013. |
| Dale Blue, Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick. Interaction-Based Test Suite Minimization. International Conference on Software Engineering (ICSE'13), 2013. |
| Armin Biere, Amir Nahir, Tanja E. J. Vos (Eds.) Hardware and Software: Verification and Testing. HVC 2012, Haifa, Israel, November 6-8, 2012.Revised Selected Papers. Lecture Notes in Computer Science 7857, Springer 2013, ISBN 978-3-642-39610-6 |
| Leonardo Mariani, Alessandro Marchetto, Cu Duy Nguyen, Paolo Tonella and Arthur Baars. Revolution: Automatic Evolution of Mined Specifications. Proc. of the 23rd IEEE International Symposium on Software Reliability Engineering (ISSRE), Dallas, TX USA, November 27-30, 2012. |
| Itai Segall, Rachel Tzoref-Brill. Interactive Refinement of Combinatorial Test Plans. International Conference on Software Engineering (ICSE'12), 2012 |
| Sebastian Bauersfeld and Tanja Vos., A Reinforcement Learning Approach to Automated GUI Robustness Testing, 4th Symposium on Search Based Software Engineering, Italy 2012. |
| Sebastian Bauersfeld and Tanja E. J. Vos. GUITest: A Java Library for Fully Automated GUI Robustness Testing. In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE), September 2012. |
| Tanja E. J. Vos, Beatriz Marín, Maria Jose Escalona and Alessandro Marchetto. A Methodological Framework for Evaluating Software Testing Techniques and Tools. 12th International Conference on Quality Software, Xi'An, China, 2012. |
| Javier Ferrer, Peter M. Kruse, J. Francisco Chicano, Enrique Alba. Evolutionary Algorithm for Prioritized Pairwise Test Data Generation, Genetic and Evolutionary Computation Conference (GECCO) 2012, Philadelphia, USA, July 2012. |
| Cu D. Nguyen, Alessandro Marchetto and Paolo Tonella. Combining Model-Based and Combinatorial Testing for Effective Test Case Generation. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA), pp. 100-110, June 2012. |
| Mariano Ceccato, Alessandro Marchetto, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella. An Empirical Study about the Effectiveness of Debugging When Random Test Cases Are Used. In Proceedings of the 34th International Conference on Software Engineering (ICSE), pp. 452-462, June 2012. |
| Nadia Alshahwan, Mark Harman, Alessandro Marchetto, Roberto Tiella and Paolo Tonella. Crawlability Metrics for Web Applications. In Proceedings of the International Conference on Software Testing (ICST), pp. 151-160, IEEE Computer Society, April 2012. |
| Paolo Tonella, Alessandro Marchetto, Cu Duy Nguyen, Yue Jia, Kiran Lakhotia and Mark Harman. Finding the Optimal Balance between Over and Under Approximation of Models Inferred from Execution Logs. In Proceedings of the International Conference on Software Testing (ICST), pp. 21-30, IEEE Computer Society, April 2012. |
| Peter M. Kruse. Test Sequence Generation from Classification Trees using Multi-agent Systems, EUMAS 2011, Maastricht, Netherlands, November 2011. |
| Beatriz Marín, Tanja Vos, Giovanni Giachetti, Arthur Baars and Paolo Tonella. Towards Testing Future Web Applications. IEEE International Conference on Research Challenges in Information Science (RCIS), pp 226-237, 2011. |
| Mark Harman, Yue Jia and William Bill Langdon. Strong Higher Order Mutation-Based Test Data Generation, FSE 2011, pages 212-222. |
| Shin Yoo, Mark Harman and Shmuel Ur. Highly Scalable Multi-Objective Test Suite Minimisation Using Graphics Card, SSBSE 2011, pages 219-236. |
| Nadia Alshahwan and Mark Harman. Automated Web Application Testing Using Search Based Software Engineering, ASE 2011, pages 3-12. |
| Arthur I. Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil Mc Minn, Paolo Tonella and Tanja Vos. Symbolic Search-Based Testing, ASE 2011, pages 53-62. |
| Sebastian Bauersfeld and Stefan Wappler and Joachim Wegener. A Metaheuristic Approach to Test Sequence Generation for Applications with a GUI. Proceedings of the 3rd International Symposium on Search Based Software Engineering (SSBSE '11)Szeged, Hungary, 10-12 September 2011. |
| Cu Duy Nguyen, Alessandro Marchetto and Paolo Tonella. Test Case Prioritization for Audit Testing of Evolving Web Services using Information Retrieval Techniques, Proceedings of 9th IEEE International Conference on Web Services (ICWS), Washington DC, USA, July 4, 2011, pages 636-643. |
| Sebastian Bauersfeld, Stefan Wappler, Joachim Wegener. An approach to automatic input sequence generation for GUI testing using ant colony optimization. GECCO (Companion) 2011: 251-252. |
| Jungsup Oh, Mark Harman and Shin Yoo. Transition coverage testing for Simulink/Stateflow models using messy genetic algorithms, GECCO 2011, pages 1851-1858. |
| Waldemar Hummer, Orna Raz, Onn Shehory, Philipp Leitner and Schahram Dustdar. Test Coverage of Data-Centric Dynamic Compositions in Service-Based Systems, ICST 2011, pages 40-49. |
| Yoram Adler, Noam Behar, Orna Raz, Onn Shehory, Nadav Steindler, Shmuel Ur and Aviad Zlotnick. Code coverage analysis in practice for large systems. ICSE 2011, pages 736-745. |
| Tanja Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Elisa Puoskari, and Yarden Nir-Buchbinder Nir-Buchbinder. Future Internet Testing with FITTEST, 15th European Conference on Software Maintenance and Reengineering March 1–4, 2011, Oldenburg, Germany. |
| Peter M. Kruse and Joachim Wegener. Sequenzgenerierung aus Klassifikationsbäumen, Softwaretechnik-Trends, Band 31, Ausgabe 1, Proceedings zum 31. Treffen der Fachgruppe TAV der Gesellschaft für Informatik, February 2011. |
|
Sebastian Bauersfeld, Tanja E. J. Vos, Kiran Lakhotia, Simon M. Poulding,
Nelly Condori-Fernández Unit Testing Tool Competition. IEEE Sixth International Conference on Software Testing, Verification and Validation, Workshops Proceedings, Luxembourg, March 18-22, 2013. |
|
Elisa Puoskari,Tanja E. J. Vos,Peter M. Kruse and Nelly Condori-Fernandez Evaluating Applicability of Combinatorial Testing in an Industrial Environment: a case study. The first Joining AcadeMiA and Industry Contributions to testing Automation Workshop. Collocated in ISSTA 2013. Lugano, Switzerland, July 15 2013, July 15 2013 IEEE USA 2013 pp. 7 -12 |
| Paolo Tonella, Cu Duy Nguyen, Alessandro Marchetto, Kiran Lakhotia and Mark Harman. Automated Generation of State Abstraction Functions using Data Invariant Inference. Automation of Software Test 2013, 18-19 May 2013 IEEE USA 2013 pp. |
| Eitan Farchi, Itai Segall, Rachel Tzoref-Brill. Using Projections to Debug Large Combinatorial Models. 2nd International Workshop on Combinatorial Testing (IWCT 2013). |
| Jeremy Bradbury, Itai Segall, Eitan Farchi, Kevin Jalbert and David Kelk. Using Combinatorial Benchmark Construction to Improve the Assessment of Concurrency Bug Detection Tools. 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012) |
| Eitan Farchi, Itai Segall, Joao Lourenco and Diogo Sousa. Using Program Closure to Make an Aplication Programming Interface (API) Implementation Thread Safe. 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD 2012) |
| Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick. Common Patterns in Combinatorial Models. 1st International Workshop on Combinatorial Testing (in conjunction with ICST'12), 2012 |
| Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick. Simplified Modeling of Combinatorial Test Spaces. 1st International Workshop on Combinatorial Testing (in conjunction with ICST'12), 2012 |
| Tanja E. J. Vos, Elisa Puoskari and Peter M. Kruse. Evaluating Combinatorial Testing in an Industrial Environment: a case study. 35th IEEE Software Engineering Workshop, Greece 2012. |
| Peter M. Kruse, Ina Schieferdecker. Comparison of Approaches to Prioritized Test Generation for Combinatorial Interaction Testing, ATSE@ FedCSIS 2012, Wrocław, Poland, September 2012. |
| Alexander Elyasov. Log-Based Testing, Doctoral Symposium of the International Conference on Software Engineering, June 2012. |
| Peter M. Kruse, Joachim Wegener. Test Sequence Generation from Classification Trees. A-MOST 2012@ICST 2012, Montreal, Canada, April 2012. |
| Peter M. Kruse, Jürgen Bauer, Joachim Wegener. Numerical Constraints for Combinatorial Interaction Testing, CSTVA 2012@ICST 2012, Montreal, Canada, April 2012. |
| Peter M. Kruse. Automated Continuous Evolutionary Testing (Invited Talk), VSSE 2012@ ETAPS, Tallinn, Estonia, March 2012. |
| Arie Middelkoop, Alexander B. Elyasov, and Wishnu Prasetya. Functional Instrumentation of ActionScript Programs with Asil, 23rd Symposium on Implementation and Application of Functional Languages, Oct. 2011. |
| Arthur I. Baars, Kiran Lakhotia, Tanja Vos and Joachim Wegener. Search-Based Testing, the Underlying Engine of Future Internet Testing, Federated Conference On Computer Science and Information Systems 2011. |
| Peter M. Kruse and Joachim Wegener. Test Sequence Generation from Classification Trees, Second Workshop on Automating Test Case Design, Selection and Evaluation (ATSE'2011), in Proceedings of CISTI'2011, la 6ª Conferencia Ibérica de Sistemas y Tecnologías de Información, Chaves, Portugal, June 18, 2011. |
| Wishnu Prasetya, Joao Amorim, Tanja Vos, and Arthur Baars. Using Haskell to Script Combinatoric Testing of Web Services, 2nd Workshop on Automating Test Case Design, Selection and Evaluation (ATSE'2011), in the Proceedings of CISTI'2011, la 6ª Conferencia Ibérica de Sistemas y Tecnologías de Información, Chaves, Portugal, June 18, 2011. |
| Sebastian Bauersfeld, Stefan Wappler, Joachim Wegener. A Metaheuristic Approach to Test Sequence Generation for GUI-based Applications. The 13th CREST Open Workshop, London, England, May 2011. |
| Cu Duy Nguyen, Alessandro Marchetto and Paolo Tonella. Challenges in Audit Testing of Web Services, Proceedings of 1st Int’l Workshop on Regression Testing (Regression), Berlin, Germany, March 21, 2011, pages 103-106. |
| Cu Duy Nguyen, Alessandro Marchetto and Paolo Tonella. Change Sensitivity Based Prioritization for Audit Testing of Webservice Compositions, Proceedings of 6th Int’l Workshop on Mutation Analysis (Mutation), Berlin, Germany, March 2011. |
| Alessandro Marchetto, Cu Duy Nguyen and Paolo Tonella. Automated Detection of Discontinuities in Models Inferred from Execution Traces, Proceedings of 1st Int’l Workshop on Variability-intensive Systems Testing, Validation and Verification (VAST), Berlin, Germany, March 21, 2011, pages 286-293. |
| Tanja Vos, Paolo Tonella, Joachim Wegener, Mark Harman, Wishnu Prasetya, Yarden Nir-Buchbinder and Shmuel Ur. Testing Future Internet Applications Running in the Cloud, STITC, 2011. |