Erscheinungsdatum
alle
letzten Monat
letzten 30 Tage
diesen Monat
heute
nächsten 30 Tage
nächsten Monat
weitere Filter
Autor
barlas, gerassimos
(1)el-fakih, khaled
(1)fernanda lima kastensmidt
(1)merayo, mercedes g.
(1)montes de oca, edgardo
(1)samuel nascimento pagliarini
(1)strichman, ofer
(1)tzoref-brill, rachel
(1)yevtushenko, nina
(1)Schlagwort
coverage metrics
(5)informatik
(5)edv
(4)equivalence checking
(4)model checking
(3)adaptive systems
(2)adaptivesystems
(2)coveragemetrics
(2)distributed systems
(2)distributedsystems
(2)equivalencechecking
(2)formal methods
(2)formal software verification
(2)semi-formal verification
(2)software engineering
(2)software-entw.
(2)theorie
(2)transaction-level verification
(2)allgemeines
(1)applications
(1)assertion checking
(1)automation
(1)code based testing
(1)codebasedtesting
(1)compiler
(1)computer science
(1)conference proceedings
(1)empirical software validation
(1)empiricalsoftwarevalidation
(1)fault models
(1)fault models and test metrics
(1)faultm
(1)faultmodelsandtestmetrics
(1)formalmethods
(1)formalsoftwareverification
(1)functional testing
(1)functional verification
(1)functionaltesting
(1)hardware
(1)informatics
(1)informatik, computer
(1)intelligenz
(1)ki
(1)künstliche intelligenz
(1)künstliche intelligenz - ai
(1)logics and
(1)mathematik
(1)model based testing
(1)model checkin
(1)model verification and validation
(1)modelbasedtesting
(1)modelchecking
(1)modelverificationandvalidation
(1)multi-agent systems
(1)multi-agentsystems
(1)netzwerk (elektronisch)
(1)product line
(1)productline
(1)programmieren
(1)programmieren (edv)
(1)quality assurance
(1)qualityassurance
(1)reliability
(1)research
(1)s
(1)securityte
(1)simulation and emulation
(1)simulation-based verification
(1)software testing and debugging
(1)software validation
(1)softwareengineering
(1)softwarevalidation
(1)theorem proving and sa
(1)theorem proving and sat solving
(1)validation
(1)verification
(1)übersetzer (edv)
(1)Ergebnis: 5 Artikel
Schlagwort: coverage metrics
