You must be logged in to comment.

Rights Information

Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.

Downloads

Keywords

• bisimulation
• branch coverage
• checkpointing
• coalgebra
• Composition
• concurrent software systems
• consensus protocol
• cross-project prediction
• data-flows
• deep learning
• EM algorithm
• eventual property
• feature selection
• fuzzy automata
• fuzzy language
• generalized failure count data
• genetic algorithm
• History of engineering & technology
• human-error factors
• island-based model
• long short-term memory
• Maude
• maximum likelihood estimation
• metamorphic relations
• metamorphic testing
• Model Checking
• model-checking
• moth flame optimization
• mutation testing
• Nervos CKB
• non-homogeneous Poisson process
• object-oriented
• optimal rejuvenation-trigger timing
• Petri net
• phase expansion
• project similarity and clustering
• quality assessment
• regression testing
• search-based test case generation
• software defect prediction
• software rejuvenation
• Software Reliability
• software reliability model
• specification-based testing
• steady-state system availability
• Technology, engineering, agriculture
• Technology: general issues
• test data generation
• textual question answering
• UPPAAL
• visual question answering

Links

DOI: 10.3390/books978-3-0365-3800-6

Editions