Research output per year
Supervised work per year
Supervised Work
- 10 results
Search results
-
2025
What is... the point? Single-input-change testing a EULYNX controller
van der Wal, D., 17 Mar 2025, Enschede: University of Twente. 286 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT
Open AccessFile22 Downloads (Pure) -
2021
Synthesising middleware components for reusable software
van der Vlist, K. B., 1 Dec 2021, Enschede: University of Twente. 98 p.Research output: Thesis › EngD Thesis › Academic
Open AccessFile223 Downloads (Pure) -
Zero-downtime schema changes
Dijkstra, J.-J., 1 Sept 2021, Enschede: University of Twente. 108 p.Research output: Thesis › EngD Thesis › Academic
Open AccessFile947 Downloads (Pure) -
2018
Truth or dare: quantitative security risk analysis via attack trees
Kumar, R., 17 Oct 2018, Enschede: University of Twente. 226 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT
Open AccessFile1011 Downloads (Pure) -
2014
JTorX: Exploring Model-Based Testing
Belinfante, A., 18 Sept 2014, Enschede: Centre for Telematics and Information Technology (CTIT). 324 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT
Open AccessFile891 Downloads (Pure) -
2013
Abstract Graph Transformation - Theory and Practice
Zambon, E., 24 Jan 2013, Enschede: Centre for Telematics and Information Technology (CTIT). 162 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT
Open AccessFile337 Downloads (Pure) -
2011
On changing models in Model-Based Testing
van der Bijl, H. M., 12 May 2011, Enschede: Centre for Telematics and Information Technology (CTIT). 231 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT
Open AccessFile301 Downloads (Pure) -
2010
Graph-based Specification and Verification for Aspect-Oriented Languages
Staijen, T., 6 Jun 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 234 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT
Open AccessFile104 Downloads (Pure) -
2008
Graph-based software specification and verification
Kastenberg, H., 3 Oct 2008, Enschede: University of Twente. 368 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT
Open AccessFile425 Downloads (Pure) -
2003
On Model Checking the Dynamics of Object-Based Software: A Foundational Approach
Distefano, D. S., 2003, Enschede: Twente University Press (TUP). 313 p.Research output: Thesis › PhD Thesis - Research UT, graduation UT
Open AccessFile478 Downloads (Pure)