34 citations · 41 across the 5 of their papers we have counts for
5 papers
OnlineProver: Experience with a Visualisation Tool for Teaching Formal Proofs
Ján Perháč, Samuel Novotný, Sergej Chodarev +4
OnlineProver is an interactive proof assistant tailored for the educational setting. Its main features include a user-friendly interface for editing and checking proofs. The user i…
Local Software Buildability across Java Versions (Registered Report)
Matúš Sulír, Jaroslav Porubän, Sergej Chodarev
Context: Downloading the source code of open-source Java projects and building them on a local computer using Maven, Gradle, or Ant is a common activity performed by researchers an…
Outside the Sandbox: A Study of Input/Output Methods in Java
Matúš Sulír, Sergej Chodarev, Milan Nosáľ
Programming languages often demarcate the internal sandbox, consisting of entities such as objects and variables, from the outside world, e.g., files or network. Although communica…
Automating Test Case Identification in Java Open Source Projects on GitHub
Matej Madeja, Jaroslav Porubän, Michaela Bačíková +4
Software testing is one of the very important Quality Assurance (QA) components. A lot of researchers deal with the testing process in terms of tester motivation and how tests shou…
Visual augmentation of source code editors: A systematic mapping study
Matúš Sulír, Michaela Bačíková, Sergej Chodarev +1
Source code written in textual programming languages is typically edited in integrated development environments or specialized code editors. These tools often display various visua…