Modelling of Autosar Libraries for Large Scale Testing
Mostowski, Wojciech, Arts, Thomas, Hughes, John
Published in Electronic Proceedings in Theoretical Computer Science, EPTCS (01.01.2017)
Published in Electronic Proceedings in Theoretical Computer Science, EPTCS (01.01.2017)
Get full text
Journal Article
Conference Proceeding
Modular Termination Proofs for Rewriting Using Dependency Pairs
Giesl, Jürgen, Arts, Thomas, Ohlebusch, Enno
Published in Journal of symbolic computation (01.07.2002)
Published in Journal of symbolic computation (01.07.2002)
Get full text
Journal Article
Testing feature‐rich blockchains
Arts, Thomas, Svensson, Hans, Benac Earle, Clara, Fredlund, Lars‐Åke
Published in Software, practice & experience (01.05.2023)
Published in Software, practice & experience (01.05.2023)
Get full text
Journal Article
Gaining trust by tracing security protocols
Fredlund, Lars-Åke, Benac Earle, Clara, Arts, Thomas, Svensson, Hans
Published in Journal of logical and algebraic methods in programming (01.01.2023)
Published in Journal of logical and algebraic methods in programming (01.01.2023)
Get full text
Journal Article
Locality-Based Test Selection for Autonomous Agents
Entekhabi, Sina, Mostowski, Wojciech, Mousavi, Mohammad Reza, Arts, Thomas
Published in Testing Software and Systems (2022)
Published in Testing Software and Systems (2022)
Get full text
Book Chapter
Conference Proceeding
A Classification of Value for Software Architecture Decisions
Eklund, Ulrik, Arts, Thomas
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2010)
Published in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2010)
Get full text
Book Chapter
Conference Proceeding
Teaching Students Property-Based Testing
Benac Earle, Clara, Fredlund, Lars-Ake, Marino, Julio, Arts, Thomas
Published in 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (01.08.2014)
Published in 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications (01.08.2014)
Get full text
Conference Proceeding
Checking Verification Compliance of Technical Safety Requirements on the AUTOSAR Platform Using Annotated Semi-formal Executable Models
Skoglund, Martin, Svensson, Hans, Eriksson, Henrik, Arts, Thomas, Johansson, Rolf, Gerdes, Alex
Published in Computer Safety, Reliability, and Security (2014)
Published in Computer Safety, Reliability, and Security (2014)
Get full text
Book Chapter
How Well are Your Requirements Tested?
Arts, Thomas, Hughes, John
Published in 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.04.2016)
Published in 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST) (01.04.2016)
Get full text
Conference Proceeding