1. Article › Scientific › Not peer-reviewed
  2. Extentions to the modula-2 language

    Pronk, C., Schonhacker, M., Sutcliffe, RJ. & Wiedemann, A., 2000, In : Journal of Object - Oriented Programming. 13, 7, p. 1-6 6 p.

    Research output: Contribution to journalArticleScientific

  3. Guest Editorial: reverse engineering

    Pinzger, M. & Antoniol, G., 2012, In : Empirical Software Engineering. p. 1-2 2 p.

    Research output: Contribution to journalArticleScientific

  4. MALTESQUE 2019 Workshop Summary

    Arcelli Fontana, F., Perrouin, G., Ampatzoglou, A., Archer, M., Walter, B., Cordy, M., Palomba, F. & Devroey, X., 1 Jan 2020, In : Software Engineering Notes. 45, 1, p. 34–35

    Research output: Contribution to journalArticleScientific

  5. Parallel and distributed real-time systems: an introduction

    van Katwijk, J. & Zalewski, J., 2000, In : Parallel and Distributed Computing Practices. 2, 1, p. 1-4 4 p.

    Research output: Contribution to journalArticleScientific

  6. Parametric real-time model checking using splitting trees

    Lutje Spelberg, RF. & Toetenel, WJ., 2001, In : Nordic Journal of Computing. 8, p. 88-120 33 p.

    Research output: Contribution to journalArticleScientific

  7. Report from the 1st Int. Workshop on Education through Advanced Software Engineering and Artificial Intelligence (EASEAI ’19)

    Vanderose, B., Frenay, B., Henry, J. & Devroey, X., 1 Jan 2020, In : Software Engineering Notes. 45, 1, p. 25–27

    Research output: Contribution to journalArticleScientific

  8. Specification of real-time systems in UML

    Roubtsova, E., van Katwijk, J., Toetenel, WJ., Pronk, C. & de Rooij, RCM., 2000, In : Electronic Notes in Theoretical Computer Science. 39, 3, p. 1-13 13 p.

    Research output: Contribution to journalArticleScientific

  9. The Third Rewrite Engines Competition

    Durán, F., Roldán, M., Bach, JC., Balland, E., Brand, M., Cordy, J., Eker, S., Engelen, L., de Jonge, M., Kalleberg, K. T., Kats, LCL., Moreau, PE. & Visser, E., 2010, In : Lecture Notes in Computer Science. 6381, p. 243-261 19 p.

    Research output: Contribution to journalArticleScientific

  10. Article › Scientific › Peer-reviewed
  11. A Component- and Push-based Architectural Style for Ajax Applications

    Mesbah, A. & van Deursen, A., 2008, In : Journal of Systems and Software. 81, p. 2194-2209 16 p.

    Research output: Contribution to journalArticleScientificpeer-review

  12. A Controlled Experiment for Program Comprehension through Trace Visualization

    Cornelissen, SGM., Zaidman, AE. & van Deursen, A., 2011, In : IEEE Transactions on Software Engineering. 37, 3, p. 341-355 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  13. A Follow-Up Reflection on Software Process Improvement ROI

    van Solingen, DM., 2009, In : IEEE Software. 26, 5, p. 77-79 3 p.

    Research output: Contribution to journalArticleScientificpeer-review

  14. A Genetic Programming Approach to Automated Test Generation for Object-Oriented Software

    Seesing, A. & Gross, HG., 2006, In : International Transactions on Systems Science and Applications. 2, 1, p. 127-134 8 p.

    Research output: Contribution to journalArticleScientificpeer-review

  15. A Large Scale Empirical Comparison of State-of-the-art Search-based Test Case Generators

    Panichella, A., Kifetew, F. M. & Tonella, P., 2018, In : Information and Software Technology. 104, p. 236-256 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  16. A Lightweight Sanity Check for Implemented Architectures

    Bouwers, EM. & van Deursen, A., 2010, In : IEEE Software. 27, 4, p. 44-50 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  17. A Micromechanics-Based Vapor Pressure Model in Electronic Packages

    Fan, XJ., Zhou, J., Zhang, GQ. & Ernst, LJ., 2005, In : Journal of Electronic Packaging. 127, p. 262-267 6 p.

    Research output: Contribution to journalArticleScientificpeer-review

  18. A Model-Based Approach to Sequential Fault Diagnosis

    Pietersma, J., van Gemund, AJC. & Bos, A., 2007, In : IEEE Instrumentation and Measurement Magazine. 10, p. 46-52 7 p.

    Research output: Contribution to journalArticleScientificpeer-review

  19. A Pure Object-Oriented Embedding of Attribute Grammars

    Sloane, AM., Kats, LCL. & Visser, E., 2010, In : Electronic Notes in Theoretical Computer Science. 253, 7, p. 205-219 15 p.

    Research output: Contribution to journalArticleScientificpeer-review

  20. A Runtime Testability Metric for Dynamic High-Availability Component-based Systems

    Gonzalez Sanchez, A., Piel, EAB., Gross, HG. & van Gemund, AJC., 2011, In : International Journal on Advances in Systems and Measurements. 4, 1&2, p. 122-134 13 p.

    Research output: Contribution to journalArticleScientificpeer-review

  21. A Survey on distributed Simulation in Industry

    Boer, C. A., de Bruin, A. & Verbraeck, A., 2009, In : Journal of Simulation. 3, p. 3-16 14 p.

    Research output: Contribution to journalArticleScientificpeer-review

  22. A Systematic Literature Review of How Mutation Testing Supports Quality Assurance Processes

    Zhu, Q., Panichella, A. & Zaidman, A., 2018, In : Software Testing, Verification and Reliability. 28, 6, p. 1-39 39 p.

    Research output: Contribution to journalArticleScientificpeer-review

Previous 1 2 3 4 5 6 7 8 ...49 Next

ID: 19954