15 citations · 19 across the 5 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020★ 3 cited
Advanced Join Patterns for the Actor Model based on CEP Techniques
Humberto Rodriguez Avila, Joeri De Koster, Wolfgang De Meuter
Context: Actor-based programming languages offer many essential features for developing modern distributed reactive systems. These systems exploit the actor model's isolation prope…
cs.SE2020★ 1 cited
Prioritising Server Side Reachability via Inter-process Concolic Testing
Maarten Vandercammen, Laurent Christophe, Dario Di Nucci +2
Context: Most approaches to automated white-box testing consider the client side and the server side of a web application in isolation from each other. Such testers lack a whole-pr…