Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Model-Based Test Oracle Generation for Automated Unit Testing of Agent Systems.

L. Padgham, Z. Zhang, J. Thangarajah, und T. Miller. IEEE Trans. Software Eng., 39 (9): 1230-1244 (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Eva Miller University of Stuttgart

Markus Miller University of Stuttgart

Tim Hornung University of Stuttgart

Tim Mayer University of Stuttgart

Tim Uhlemann University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Requirements specification via activity diagrams for agent-based systems.Y. Abushark, T. Miller, J. Thangarajah, M. Winikoff, und J. Harland. Autonomous Agents and Multi-Agent Systems, 31 (3): 423-468 (2017)A framework for automatically ensuring the conformance of agent designs.Y. Abushark, J. Thangarajah, J. Harland, und T. Miller. Journal of Systems and Software, (2017)Understanding socially oriented roles and goals through motivational modelling.T. Miller, S. Pedell, L. Sterling, F. Vetere, und S. Howard. Journal of Systems and Software, 85 (9): 2160-2170 (2012)Psychologically-Driven Requirements Engineering: A Case Study in Depression Care.E. Alatawi, A. Mendoza, und T. Miller. ASWEC, Seite 41-50. IEEE Computer Society, (2018)Symbolic Execution with Invariant Inlay: Evaluating the Potential.E. Alatawi, T. Miller, und H. Søndergaard. ASWEC, Seite 26-30. IEEE Computer Society, (2018)IARPA Janus Benchmark-B Face Dataset.C. Whitelam, E. Taborsky, A. Blanton, B. Maze, J. Adams, T. Miller, N. Kalka, A. Jain, J. Duncan, K. Allen und 2 andere Autor(en). CVPR Workshops, Seite 592-600. IEEE Computer Society, (2017)Elder Scrolls.T. Miller. SIGGRAPH Computer Animation Festival, Seite 24:1-24:2. ACM, (2013)Ontology-based Validation of Agent Oriented Modelling.A. Lopez-Lorca, G. Beydoun, L. Sterling, und T. Miller. EKAW (Posters and Demos), Volume 674 von CEUR Workshop Proceedings, CEUR-WS.org, (2010)Generating source inputs for metamorphic testing using dynamic symbolic execution.E. Alatawi, T. Miller, und H. Søndergaard. MET@ICSE, Seite 19-25. ACM, (2016)Engaging Stakeholders with Agent-Oriented Requirements Modelling.T. Miller, S. Pedell, L. Sterling, und B. Lu. AOSE, Volume 6788 von Lecture Notes in Computer Science, Seite 62-78. Springer, (2010)