Blar i HVL Open på forfatter "Pun, Violet Ka I"
-
Automated Clone Elimination in Python Tests
Kingston, Sebastian; Stolz, Volker; Pun, Violet Ka I (Peer reviewed; Journal article, 2024)Code clones are a well-known software quality metric with existing tools for detection and (semi-) automated elimination for common programming languages. While they are usually eliminated by extracting duplicate code into ... -
Cost analysis for a resource sensitive workflow modelling language
Ali, Muhammad Rizwan; Lamo, Yngve; Pun, Violet Ka I (Peer reviewed; Journal article, 2022)Workflow analysis usually requires domain-specific knowledge from the domain experts, making it a relatively manual process. In addition, workflows often cross organisational boundaries. As a result, minor local modifications ... -
Enforced Dependencies for Active Objects
Pun, Violet Ka I; Stolz, Volker (Peer reviewed; Journal article, 2024)We present an active object-based language that records required and provided method completions ahead of method invocations. With this language, a programmer can use method declarations to specify the dependencies between ... -
Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data
Aminifar, Amin; Matin, Shokri; Rabbi, Fazle; Pun, Violet Ka I; Lamo, Yngve (Peer reviewed; Journal article, 2022)Artificial intelligence and machine learning have recently attracted considerable attention in the healthcare domain. The data used by machine learning algorithms in healthcare applications is often distributed over multiple ... -
I Can See Clearly Now: Clairvoyant Assertions for Deadlock Checking
Abusdal, Ole Jørgen; Din, Crystal Chang; Pun, Violet Ka I; Stolz, Volker (Peer reviewed; Journal article, 2022)Static analysers are traditionally used to check various correctness properties of software. In the face of refactorings that can have adverse effects on correctness, developers need to analyse the code after refactoring ...