13 citations · 22 across the 5 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021★ 4 cited
Deriving Static Security Testing from Runtime Security Protection for Web Applications
Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix
Context: Static Application Security Testing (SAST) and Runtime Application Security Protection (RASP) are important and complementary techniques used for detecting and enforcing a…
cs.PL2021★ 1 cited
Capturing High-level Nondeterminism in Concurrent Programs for Practical Concurrency Model Agnostic Record & Replay
Dominik Aumayr, Stefan Marr, Sophie Kaleba +2
With concurrency being integral to most software systems, developers combine high-level concurrency models in the same application to tackle each problem with appropriate abstracti…