Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers - Dastani, Mehdi; Sirjani, Marjan; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Implementing Open Call-by-Value -- Debugging of Concurrent Programs Using Counterexample Analysis -- Bisimilarity of Open Terms in Stream GSOS -- Composing Families of Timed Automata -- A Core Calculus for Multi SPLs -- Translating Active Objects into Colored Petri Nets for Communication Analysias -- Synthesizing Parameterized Self-Stabilizing Rings with Constant-Space Processes -- Flexible Transactional Coordination in the Peer Model -- Using Swarm Intelligence to Generate Test Data for Covering Prime Paths -- LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems -- TCE+: An Extension of the TCE Approach for Detecting Equivalent Mutants in Java Programs -- Quality-Aware Reactive Programming for the IoT -- Purpose-based Policy Enforcement in Actor-based Systems -- Automatic Transition System Model Identification for Network Applications from Packet Traces -- Gray-Box Conformance Testing for Symbolic Reactive State Machines -- Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving. .
Keywords: Software engineering; Computer logic; Algorithms; Programming languages (Electronic computers).; Computer programming; Computer organization; Software Engineering; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Programming Languages, Compilers, Interpreters; Programming Techniques; Computer Systems Organization and Communication Networks