Skip to main navigation
Skip to search
Skip to main content
South East Technological University Home
Help & FAQ
Home
Profiles
Organisational units
Equipment
Projects
Research output
Datasets
Prizes
Activities
Courses
Press/Media
Impacts
Search by expertise, name or affiliation
Department of Computing
Carlow and Wexford Campuses
Faculty of Science
Phone
+353 59 9175500
Email
[email protected]
Website
https://www.setu.ie/
Overview
Fingerprint
Network
Profiles
(14)
Research output
(137)
Prizes
(1)
Activities
(2)
Courses
(2)
Press/Media
(9)
Research output
Research output per year
2001
2005
2011
2012
2020
2023
2024
73
Conference contribution
29
Article
7
Conference article
5
Chapter
23
More
5
Presentation
5
Other contribution
3
Preprint
2
Poster
2
Software
2
Patent
1
Book
1
Foreword/postscript
1
Paper
1
Working paper
Research output per year
Research output per year
2 results
Publication Year, Title
(descending)
Publication Year, Title
(ascending)
Title
Type
Filter
Software
Search results
2021
Mika: A tool for the automatic generation of tests from Ada source code.
Meudec, C.
(Photographer),
2021
Research output
:
Non-textual form
›
Software
Symbolic Execution
100%
Constraint Logic Programming
100%
Automatic Generation
100%
Branch Decision
100%
2001
A Path Traversal Conditions solver
Meudec, C.
(Photographer),
Mar 2001
Research output
:
Non-textual form
›
Software
Programming Language
100%
Symbolic Execution
100%
Static Program Analysis
100%