Articles in Press [7 articles]

• Improving Model-Checking with Context Modelling, Philippe Dhaussy, Frederic Boniol, Jean-Charles Roger, and Luka Leroux
• How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the "Correctness by Construction" Principle, Robert Hilbrich
• Formal ESL synthesis for control-intensive applications, Michael Dossis
• A stateful approach to generate synthetic events from kernel traces, Naser Ezzati-Jivan and Michel R. Dagenais
• Evaluating the Effect of Control Flow on the Unit Testing Effort of Classes: An Empirical Analysis, Mourad Badri and Fadel Toure
• Genetic programming for automating the development of data management algorithms in information technology systems, Gabriel Ambrosio Archanjo and Fernando J. Von Zuben
• An Empirical Study on the Impact of Duplicate Code, Keisuke Hotta, Yui Sasaki, Yukiko Sano, Yoshiki Higo, and Shinji Kusumoto