Fundamentals of Software Engineering : 7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers /
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
| Edition: | 1st ed. 2017. |
| Series: | Programming and Software Engineering ;
10522 |
| Subjects: |
Table of Contents:
- 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. .