zweidimensionales bewegtes Bild
Practical Machine-Checked Formalization of Change Impact Analysis
- Location
-
Hannover TIB
- Extent
-
22MB, 00:15:05:16 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
- Keyword
-
change impact analysis
regression test selection
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Palmskog, Karl
- DOI
-
10.5446/55022
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Palmskog, Karl
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (12)
Formalization of logic
Formalization of natural languages
A Formalization of ODMG Queries
The Formalization of Critical Discussion
Thought Experiments, Formalization, and Disagreement
Formalization of psychological theories : September 1982
Small firms' formalization: The stick treatment
Formalization and quantification in historical analysis
An Intensional Formalization of Generic Statements
Formats and Formalization in Internet Advertising
Formalization and quantification in historical analysis
A Formalization of SQL with Nulls
Formalization of logic
Formalization of natural languages
A Formalization of ODMG Queries
The Formalization of Critical Discussion
Thought Experiments, Formalization, and Disagreement
Formalization of psychological theories : September 1982
Small firms' formalization: The stick treatment
Formalization and quantification in historical analysis
An Intensional Formalization of Generic Statements
Formats and Formalization in Internet Advertising
Formalization and quantification in historical analysis
A Formalization of SQL with Nulls
Formalization of logic
Formalization of natural languages
A Formalization of ODMG Queries
The Formalization of Critical Discussion
Thought Experiments, Formalization, and Disagreement
Formalization of psychological theories : September 1982
Small firms' formalization: The stick treatment
Formalization and quantification in historical analysis
An Intensional Formalization of Generic Statements
Formats and Formalization in Internet Advertising
Formalization and quantification in historical analysis