Thodoris Sotiropoulos

Publications

105

Citations

H-Index

2020

Active since

Affiliations

Athens University of Economics and Business(Current)

National and Kapodistrian University of Athens

Delft University of Technology

Thodoris Sotiropoulos is an author at Athens University of Economics and Business specializing in formal methods, formal verification, and software testing.

ORCID

Top concepts

EngineeringFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringSoftware Maintenance

Publications per year

2020–2022

Publications

Finding typing compiler bugs

Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis et al. · 2022 · 26 citations

Software Maintenance, Engineering, Static Typing Procedures +19

Well-typed programs can go wrong: a study of typing-related bugs in JVM compilers

Stefanos Chaliasos, Thodoris Sotiropoulos, Georgios-Petros Drosos et al. · Proceedings of the ACM on Programming Languages · 2021 · 23 citations · Full text

Software Maintenance, Engineering, Compiler Technology +21

Practical fault detection in puppet programs

Thodoris Sotiropoulos, Dimitris Mitropoulos, Diomidis Spinellis · 2020 · 22 citations

Software Maintenance, Program Checking, Engineering +23

Data-Oriented Differential Testing of Object-Relational Mapping Systems

Thodoris Sotiropoulos, Stefanos Chaliasos, Vaggelis Atlidakis et al. · 2021 · 21 citations

Software Maintenance, Engineering, Verification +21

A model for detecting faults in build specifications

Thodoris Sotiropoulos, Stefanos Chaliasos, Dimitris Mitropoulos et al. · Proceedings of the ACM on Programming Languages · 2020 · 13 citations · Full text

Software Maintenance, Engineering, Test Data Generation +23

Rows per page

1–5 of 5