SC Harvester Papers Database Interface

Automatic test generation for industrial control software

Eduard Paul Enoiu. In: . 2016

PAIRWISE TESTING FOR PLC EMBEDDED SOFTWARE

P. Charbachi, Linus Eklund, Daniel Sundmark, Eduard Paul Enoiu. 2016

A Comparative Study of Manual and Automated Testing in Industrial Embedded Software

Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, P. Pettersson. In: . 2016

Preface Preface of Special issue on Automated Verification of Critical Systems ( AVoCS ’ 14 )

Ali Jafari, Ehsan Khamespanah, M. Sirjani, H. Hermanns. 2016

Preface Special issue on Automated Verification of Critical Systems ( AVoCS ’ 14 )

Ali Jafari, Ehsan Khamespanah, M. Sirjani, H. Hermanns. 2016

On Time Actors

M. Sirjani, Ehsan Khamespanah. In: . 2016

Towards Design-Space Exploration of Component Chains in Vehicle Software

Alessio Bucaioni, A. Cicchetti, Federico Ciccozzi, S. Mubeen, A. Pierantonio et al. In: . 2016

Evaluation of Novel Approaches to Software Engineering

A. Cicchetti, D. D. Ruscio, Patrizio Pelliccione, A. Pierantonio, Stefano Zacchiroli. In: . 2016

Software Evolution Management: Industrial Practices

A. Cicchetti, Federico Ciccozzi, Jan Carlson. In: . 2016

Self-Learning, Self-Actuation and Decentralized Control : How Emergent System Capabilities Change Software Development

H. Holmström, J. Bosch. In: . 2016

Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering (ModComp) 2016

Federico Ciccozzi, I. Malavolta. In: . 2016

How do process and team interaction depend on development technologies?: a case study on a combined setting of model-driven development and classical C coding

R. Hebig, Jesper Derehag. In: . 2016

Lessons Learned from Co-Evolution of Software Process and Model-Driven Engineering

R. Hebig, Andreas I. Schmied, Ingo Weisemöller. In: . 2016

Criteria for grading papers in TDDB84

O. Leifler. 2016

Using Climate Research to Introduce Sustainability in a Computer Science Curriculum

O. Leifler. 2016