Fundamentals of Software Engineering - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer International Publishing

9783319689715, 9783319689722
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Using Swarm Intelligence to Generate Test Data for Covering Prime Paths

2017 ◽  
pp. 132-147 ◽  
Author(s):  
Atieh Monemi Bidgoli ◽  
Hassan Haghighi ◽  
Tahere Zohdi Nasab ◽  
Hamideh Sabouri
Keyword(s):  
Swarm Intelligence ◽  
Test Data ◽  
Generate Test Data

scholarly journals Translating Active Objects into Colored Petri Nets for Communication Analysis

2017 ◽  
pp. 84-99 ◽  
Author(s):  
Anastasia Gkolfi ◽  
Crystal Chang Din ◽  
Einar Broch Johnsen ◽  
Martin Steffen ◽  
Ingrid Chieh Yu
Keyword(s):  
Petri Nets ◽  
Colored Petri Nets ◽  
Communication Analysis ◽  
Active Objects

scholarly journals Composing Families of Timed Automata

2017 ◽  
pp. 51-66 ◽  
Author(s):  
Guillermina Cledou ◽  
José Proença ◽  
Luis Soares Barbosa
Keyword(s):  
Timed Automata
Load More ...
Sign in / Sign up

Export Citation Format

Share Document