Blank Cover Image

Automated Source-Code-Based Testing of Object-Oriented Software

Author(s):
Publication title:
Proceedings of DASIA 2014 : DAta Systems In Aerospace : 3-5 June 2014, Warsaw, Poland
Title of ser.:
ESA SP
Ser. no.:
725
Pub. Year:
2014
Pages:
12
Pub. info.:
Noordwijk, The Netherlands: ESA Communications
ISSN:
1609042X
ISBN:
9789292212896 [9292212893]
Language:
English
Call no.:
E11690/725
Type:
Conference Proceedings

Similar Items:

1 Conference Proceedings A Case Study on Automated Source-Code-Based Testing Methods

Ralf Gerlich, Rainer Gerlich, M. Prochazka

ESA Communications
7 Conference Proceedings Automated Software Production - Quo Vadis?

R. Gerlich, D. Sigg

ESA Publications Division
2 Conference Proceedings AN ALTERNATIVE LIFECYCLE BASED ON PROBLEM-ORIENTED STRATEGIES

Gerlich, R., Jorgensen, C.

ESA Publications Division
8 Conference Proceedings Automated Verification of Code Generated from Models: Comparing Specifications with Observations

R. Gerlich, D. Sigg

ESA Communications
3 Conference Proceedings Experience with Validation by Simulation, Automated Code Generation and Integration

Gerlich, R.

ESA Publications Division
9 Conference Proceedings Characterizing Verification Tools Through Coding Error Candidates Reported in Space Flight Software

C.R. Prause, R. Gerlich, A. Fischer

ESA Communications
4 Conference Proceedings Fault Identification Strategies

R. Gerlich, C. Dietrich

ESA Communication Production Office
10 Conference Proceedings Software Development for the Material Science Laboratory on ISS by Automated Generation of Real-Time Software from Datasheet-based Inputs

Birk, M., Brammer, U., Ziegler, M., Lattner, K., Gerlich, R.

ESA Publications Division
5 Conference Proceedings Benchmarks on Automated System and Software Generation: Higher Flexibility, Increased Productivity and Shorter Time-To-Market by ScaPable Software

R. Gerlich

ESA Publications Division
11 Conference Proceedings Organising incremental and reusable software development

Gerlich, R.

ESA Publications Division
6 Conference Proceedings Potentials of Constraint-Based Methods in Software Verification and Validation

R. Gerlich

ESA Communications
12 Conference Proceedings Platform-Dependent (Cost) Impacts on Portability, Software Reuse and Maintenance

R. Gerlich

ESA Publications Division
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12