Drones | Free Full-Text | Survey on Unmanned Aerial Vehicle for Mars Exploration:
Deployment Use Case Next Article in Journal Detection and Characterization of Stressed …

Sampling soil or rocks from extraterrestrial celestial bodies is the essential step to detecting
the existence of water and life in celestial bodies, it is also an important channel to obtain …

More than 20 years of research has created a large body of ideas, concepts, and theories for
model-based development of embedded software-intensive systems. These approaches …

Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software,
a fault is likely triggered by only a few variables interacting. The method takes advantage of …

Test engineers, their managers, as well as the project developers often have many different
views and misconceptions about tools and methods that provide test automation support …

Taking aspects as incremental modifications to their base classes, this paper presents an
incremental approach to testing whether or not aspect-oriented programs and their base …

This title includes a number of Open Access chapters. Model-driven engineering (MDE) is
the automatic production of software from simplified models of structure and functionality. It …

Abstract System reliability has become a main concern during the computer-based system
design process. It is one of the most important characteristics of the system quality. The …

NASA is researching advanced technologies for future exploration missions using intelligent
swarms of robotic vehicles. One of these missions is the Autonomous Nano-Technology …

Reliability is one of the most important characteristics of the system quality. It is defined as
the probability of failure-free operation of system for a specified period of time in a specified …