Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “native analysis”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS2019

TPSAS-NF1676L-32493-DND

The Committee on Earth Observation Satellites (CEOS) System Engineering Office (SEO) has supported the Open Data Cube (ODC) initiative to provide a data architecture solution that has value to its global users and increases the impact of EO satellite data. ODC is an open-source platform for processing satellite data. We have developed software products and tools around the core ODC that would help users perform machine learning on EO satellite data. The recent United Nations (UN) Sustainable Development Agenda provides a shared blueprint for peace and prosperity for people and for the planet, considering our current situation and helping to create a plan. The core of this agenda is a set of seventeen Sustainable Development Goals (SDGs), which represent an urgent call for action by all countries - both developed and developing - in a global partnership. The CEOS SEO team has recently developed and released a set of innovative Jupyter notebooks addressing UN SDGs 6.6.1 (spatial extents of water-related ecosystems), 11.3.1 (ratio of land consumption rate to population growth rate), and 15.3.1 (proportion of land that is degraded over total land area). These notebooks empower users by providing features that will assist with streamlining analysis ready data retrieval, processing, and visualization. We have recently incorporated several machine learning techniques in these notebooks. In this paper, we present the lessons learned from our experience on classifying land using supervised and unsupervised machine learning techniques using ODC framework for UN SDGs. We identify the current limitations of ODC to seamlessly support machine learning techniques. We propose features that would help machine learning, specifically within the ODC framework. We propose a thematic indexing/loading of data for both unsupervised learning as well as data annotation/labeling pipeline. Currently, ODC supports machine learning by separating data-management from the analysis process. It works as a mechanism to load cubes of data. ODC does not natively support features that are vital in machine learning such as validation splits, fair/balanced sampling, establishing load size constraints, etc. We believe that our proposed features will empower users by providing features that bring machine learning techniques closed to ODC. Enhancements to ODC to better accommodate machine learning techniques can assist in fulfilling UN SDGs such as 6.3.2, 6.4.2, 6.6.1, 11.3.1, 14.1.1, 15.1.1, 15.3.1, and 15.4.2.

Syed R Rizvi↗
NASA NTRS2015

Use of Existing CAD Models for Radiation Shielding Analysis

The utility of a radiation exposure analysis depends not only on the accuracy of the underlying particle transport code, but also on the accuracy of the geometric representations of both the vehicle used as radiation shielding mass and the phantom representation of the human form. The current NASA/Space Radiation Analysis Group (SRAG) process to determine crew radiation exposure in a vehicle design incorporates both output from an analytic High Z and Energy Particle Transport (HZETRN) code and the properties (i.e., material thicknesses) of a previously processed drawing. This geometry pre-process can be time-consuming, and the results are less accurate than those determined using a Monte Carlo-based particle transport code. The current work aims to improve this process. Although several Monte Carlo programs (FLUKA, Geant4) are readily available, most use an internal geometry engine. The lack of an interface with the standard CAD formats used by the vehicle designers limits the ability of the user to communicate complex geometries. Translation of native CAD drawings into a format readable by these transport programs is time consuming and prone to error. The Direct Accelerated Geometry -United (DAGU) project is intended to provide an interface between the native vehicle or phantom CAD geometry and multiple particle transport codes to minimize problem setup, computing time and analysis error.

Lee, K. T.↗
NASA NTRS1987

Temperature characteristics of silicon space solar cells and underlying parameters

Silicon space cells, 2 cm x 2 cm, with 10 ohm-cm p-base resistivity, 8-mil base thickness, and no back-surface fields have been investigated over the temperature range from 301 to 223 K by measurements of dark forward and reverse current-voltage characteristics and current-voltage relations under illumination. From dark forward bias data, the first and second diode saturation currents, I01 and I02, are determined and hence the base diffusion length and lifetime of minority carriers as functions of temperature. Lifetime increases exponentially with temperature and is explained by a Shockley-Read-Hall model with deep recombination levels 0.245 eV above the valence band. The I02 variation with temperature follows the Sah-Noyce-Shockley-Choo model except at low temperature where extra transitions raise the value above the predicted level. Reverse bias current at low voltage is a thermally assisted tunneling process via deep levels which are observed in base recombination at higher temperatures. The tunneling effects tend to become independent of temperature in the low-temperature region. These results demonstrate the ability to deduce basic parameters such as lifetime from simple measurements and show that back-surface fields offer no advantage at temperatures below 230 K. The analysis also explains the fall in lifetimes observed as the base conductivity increases, attributing it to native defects (perhaps carbon-oxygen-vacancy complexes) rather than the concentration of base dopant.

Anspaugh, B. E.↗
NASA NTRS2022

Compositional Measurements of Saturn's Upper Atmosphere and Rings From Cassini INMS: An Extended Analysis of Measurements From Cassini's Grand Finale Orbits

The Cassini spacecraft's final orbits sampled Saturn's atmosphere and returned surprisingly complex mass spectra from the Ion and Neutral Mass Spectrometer (INMS). Signal returned from the instrument included native Saturn species, as expected, as well as a significant amount of signal attributed to vaporized ices and higher mass organics believed to be owing into Saturn's atmosphere from the rings. In this paper, we present an in-depth compositional analysis of the mass spectra returned from Cassini's last few orbits. We use a mass spectral deconvolution algorithm designed specifically to handle the complexities involved with unit resolution spaceflight mass spectrometry data to determine the relative abundance of species detected in the observations. We calculate the downward external flux and mass deposition rates of ring volatile species into Saturn's atmosphere and conclude that during these observations ring material was being deposited into Saturn's equatorial region at a rate on the order of 10(exp 4) kg/s.

Saturn↗
NASA NTRS2022

Compositional Measurements of Saturn's Upper Atmosphere and Rings From Cassini INMS: An Extended Analysis of Measurements From Cassini's Grand Finale Orbits

The Cassini spacecraft's final orbits sampled Saturn's atmosphere and returned surprisingly complex mass spectra from the Ion and Neutral Mass Spectrometer (INMS). Signal returned from the instrument included native Saturn species, as expected, as well as a significant amount of signal attributed to vaporized ices and higher mass organics believed to be flowing into Saturn's atmosphere from the rings. In this paper, we present an in-depth compositional analysis of the mass spectra returned from Cassini's last few orbits. We use a mass spectral deconvolution algorithm designed specifically to handle the complexities involved with unit resolution spaceflight mass spectrometry data to determine the relative abundance of species detected in the observations. We calculate the downward external flux and mass deposition rates of ring volatile species into Saturn's atmosphere and conclude that during these observations ring material was being deposited into Saturn's equatorial region at a rate on the order of 10(exp 4) kg/s.

Saturn↗
NASA NTRS1982

A specific radioimmunoassay for osteocalcin with advantageous species crossreactivity

The specificities of immunoassays to rat and bovine osteocalcin are examined. Extracts of noncalcified tissues and tissue fractions are unreactive to the antibody, with the exception of the kidney, in which the reactive component appears to be identical with osteocalcin by gel filtration and dose dilution analysis. The assays, developed against protein isolated from bone, are also demonstrated to be reactive to the native protein (bone in situ) and to osteocalcin in serum. The assays are sensitive to less than 50 pg osteocalcin. Intra- and interassay coefficients of variation are less than 6.8%. The bovine antibody crossreacts with human, horse, monkey, baboon, and cat osteocalcin, while the rat antibody crossreacts with dog and mouse.

Patterson-Allen, P.↗
NASA NTRS2016

Geocam Space: Enhancing Handheld Digital Camera Imagery from the International Space Station for Research and Applications

Handheld astronaut photography of the Earth has been collected from the International Space Station (ISS) since 2000, making it the most temporally extensive remotely sensed dataset from this unique Low Earth orbital platform. Exclusive use of digital handheld cameras to perform Earth observations from the ISS began in 2004. Nadir viewing imagery is constrained by the inclined equatorial orbit of the ISS to between 51.6 degrees North and South latitude, however numerous oblique images of land surfaces above these latitudes are included in the dataset. While unmodified commercial off-the-shelf digital cameras provide only visible wavelength, three-band spectral information of limited quality current cameras used with long (400+ mm) lenses can obtain high quality spatial information approaching 2 meters/ground pixel resolution. The dataset is freely available online at the Gateway to Astronaut Photography of Earth site (http://eol.jsc.nasa.gov), and now comprises over 2 million images. Despite this extensive image catalog, use of the data for scientific research, disaster response, commercial applications and visualizations is minimal in comparison to other data collected from free-flying satellite platforms such as Landsat, Worldview, etc. This is due primarily to the lack of fully-georeferenced data products - while current digital cameras typically have integrated GPS, this does not function in the Low Earth Orbit environment. The Earth Science and Remote Sensing (ESRS) Unit at NASA Johnson Space Center provides training in Earth Science topics to ISS crews, performs daily operations and Earth observation target delivery to crews through the Crew Earth Observations (CEO) Facility on board ISS, and also catalogs digital handheld imagery acquired from orbit by manually adding descriptive metadata and determining an image geographic centerpoint using visual feature matching with other georeferenced data, e.g. Landsat, Google Earth, etc. The lack of full geolocation information native to the data makes it difficult to integrate astronaut photographs with other georeferenced data to facilitate quantitative analysis such as urban land cover/land use classification, change detection, or geologic mapping. The manual determination of image centerpoints is both time and labor-intensive, leading to delays in releasing geolocated and cataloged data to the public, such as the timely use of data for disaster response. The GeoCam Space project was funded by the ISS Program in 2015 to develop an on-orbit hardware and ground-based software system for increasing the efficiency of geolocating astronaut photographs from the ISS (Fig. 1). The Intelligent Robotics Group at NASA Ames Research Center leads the development of both the ground and on-orbit systems in collaboration with the ESRS Unit. The hardware component consists of modified smartphone elements including cameras, central processing unit, wireless Ethernet, and an inertial measurement unit (gyroscopes/accelerometers/magnetometers) reconfigured into a compact unit that attaches to the base of the current Nikon D4 camera - and its replacement, the Nikon D5 - and connects using the standard Nikon peripheral connector or USB port. This provides secondary, side and downward facing cameras perpendicular to the primary camera pointing direction. The secondary cameras observe calibration targets with known internal X, Y, and Z position affixed to the interior of the ISS to determine the camera pose corresponding to each image frame. This information is recorded by the GeoCam Space unit and indexed for correlation to the camera time recorded for each image frame. Data - image, EXIF header, and camera pose information - is transmitted to the ground software system (GeoRef) using the established Ku-band USOS downlink system. Following integration on the ground, the camera pose information provides an initial geolocation estimate for the individual film frame. This new capability represents a significant advance in geolocation from the manual feature-matching approach for both nadir and off-nadir viewing imagery. With the initial geolocation estimate, full georeferencing of an image is completed using the rapid tie-pointing interface in GeoRef, and the resulting data is added to the Gateway to Astronaut Photography of Earth online database in both Geotiff and Keyhole Markup Language (kml) formats. The integration of the GeoRef software component of Geocam Space into the CEO image cataloging workflow is complete, and disaster response imagery acquired by the ISS crew is now fully georeferenced as a standard data product. The on-orbit hardware component (GeoSens) is in final prototyping phase, and is on-schedule for launch to the ISS in late 2016. Installation and routine use of the Geocam Space system for handheld digital camera photography from the ISS is expected to significantly improve the usefulness of this unique dataset for a variety of public- and private-sector applications.

Stefanov, William L.↗
NASA NTRS1983

Compositional depth profile of a native oxide LPCVD MNOS structure using X-ray photoelectron spectroscopy and chemical etching

It is pointed out that there is no report of an unambiguous analysis of the composition and interfacial structure of MNOS (metal-nitride oxide semiconductor) systems, despite the technological importance of these systems. The present investigation is concerned with a study of an MNOS structure on the basis of a technique involving the use of X-ray photoelectron spectroscopy (XPS) with a controlled stopped-flow chemical-etching procedure. XPS is sensitive to the structure of surface layers, while stopped-flow etching permits the controlled removal of overlying material on a scale of atomic layers, to expose new surface layers as a function of thickness. Therefore, with careful analysis of observed intensities at measured depths, this combination of techniques provides depth resolution between 5 and 10 A. According to the obtained data there is intact SiO2 at the substrate interface. There appears to be a thin layer containing excess bonds to silicon on top of the SiO2.

Wurzbach, J. A.↗
NASA NTRS2011

Evaluation of the Analysis Influence on Transport in Reanalysis Regional Water Cycles

Regional water cycles of reanalyses do not follow theoretical assumptions applicable to pure simulated budgets. The data analysis changes the wind, temperature and moisture, perturbing the theoretical balance. Of course, the analysis is correcting the model forecast error, so that the state fields should be more aligned with observations. Recently, it has been reported that the moisture convergence over continental regions, even those with significant quantities of radiosonde profiles present, can produce long term values not consistent with theoretical bounds. Specifically, long averages over continents produce some regions of moisture divergence. This implies that the observational analysis leads to a source of water in the region. One such region is the Unite States Great Plains, which many radiosonde and lidar wind observations are assimilated. We will utilize a new ancillary data set from the MERRA reanalysis called the Gridded Innovations and Observations (GIO) which provides the assimilated observations on MERRA's native grid allowing more thorough consideration of their impact on regional and global climatology. Included with the GIO data are the observation minus forecast (OmF) and observation minus analysis (OmA). Using OmF and OmA, we can identify the bias of the analysis against each observing system and gain a better understanding of the observations that are controlling the regional analysis. In this study we will focus on the wind and moisture assimilation.

Bosilovich, M. G.↗
NASA NTRS2016

Chemistry Simulations Using MERRA-2 Reanalysis with the GMI CTM and Replay in Support of the Atmospheric Composition Community

Simulations using reanalyzed meteorological conditions have been long used to understand causes of atmospheric composition change over the recent past. Using the new Modern-Era Retrospective analysis for Research and Applications, version 2 (MERRA-2) meteorology, chemistry simulations are being conducted to create products covering 1980-2016 for the atmospheric composition community. These simulations use the Global Modeling Initiative (GMI) chemical mechanism in two different models: the GMI Chemical Transport Model (CTM) and the GEOS-5 model developed Replay mode. Replay mode means an integration of the GEOS-5 general circulation model that is incrementally adjusted each time step toward the MERRA-2 analysis. The GMI CTM is a 1 x 1.25 simulation and the MERRA-2 GMI Replay simulation uses the native MERRA-2 approximately horizontal resolution on the cubed sphere. The Replay simulations is driven by the online use of key MERRA-2 meteorological variables (i.e. U, V, T, and surface pressure) with all other variables calculated in response to those variables. A specialized set of transport diagnostics is included in both runs to better understand trace gas transport and changes over the recent past.

Chemistry-Climate Model↗
NASA NTRS1995

Thermal neutral format based on the step technology

The exchange of models is one of the most serious problems currently encountered in the practice of spacecraft thermal analysis. Essentially, the problem originates in the diversity of computing environments that are used across different sites, and the consequent proliferation of native tool formats. Furthermore, increasing pressure to reduce the development's life cycle time has originated a growing interest in the so-called spacecraft concurrent engineering. In this context, the realization of the interdependencies between different disciplines and the proper communication between them become critical issues. The use of a neutral format represents a step forward in addressing these problems. Such a means of communication is adopted by consensus. A neutral format is not directly tied to any specific tool and it is kept under stringent change control. Currently, most of the groups promoting exchange formats are contributing with their experience to STEP, the Standard for Exchange of Product Model Data, which is being developed under the auspices of the International Standards Organization (ISO 10303). This paper presents the different efforts made in Europe to provide the spacecraft thermal analysis community with a Thermal Neutral Format (TNF) based on STEP. Following an introduction with some background information, the paper presents the characteristics of the STEP standard. Later, the first efforts to produce a STEP Spacecraft Thermal Application Protocol are described. Finally, the paper presents the currently harmonized European activities that follow up and extend earlier work on the area.

Almazan, P. Planas↗
NASA NTRS1981

XPS study of interface formation of CVD SiO2 on InSb

The interfacial chemistry of CVD SiO2 films deposited on thin native oxides grown on InSb substrates is examined using X-ray photoemission spectroscopy (XPS) and a relatively benign chemical etching technique for depth profiling. An intensity analysis of XPS spectra is used to derive the compositional structure of the interfaces obtained in the SiO2/native oxide/InSb system. Peak positions in these spectra are used to follow the change in substrate surface potential during the etch sequence, and to establish the chemical nature of the species formed during deposition and subsequent processing. Reaction of the substrate with oxygen resulted in an In-rich native oxide and 1-2 monolayers of excess elemental Sb at the native-oxide/substrate interface, incompletely oxidized silane reduced the native oxide, leaving less than 1 monolayer of elemental In at the SiO2/native oxide interface. Etch removal of this thin In-rich layer leads to a change in the substrate surface potential of 0.06 eV, corresponding to a net increase in positive charge. The results are consistent with simple thermodynamic considerations; they are also compared to previously reported studies of deposited dielectrics on III-V compound semiconductors.

Vasquez, R. P.↗
NASA NTRS2022

Periodic Solar Wind Structures Observed in Measurements of Elemental and Ionic Composition in situ at L1

Mesoscale periodic structures observed in solar wind plasma serve as an important diagnostic tool for constraining the processes that govern the formation of the solar wind. These structures have been observed in situ and in remote data as fluctuations in proton and electron density. However, only two events of this type have been reported regarding the elemental and ionic composition. Composition measurements are especially important in gaining an understanding of the origin of the solar wind as the composition is frozen into the plasma at the Sun and does not evolve as it advects through the heliosphere. Here, we present the analysis of four events containing mesoscale periodic solar wind structure during which the Iron and Magnesium number density data, measured by the Solar Wind Ion Composition Spectrometer (SWICS)on board the Advanced Composition Explorer spacecraft, are validated at statistically significant count levels. We use a spectral analysis method specifically designed to extract periodic signals from astrophysical time series and apply it to the SWICS 12-minute native resolution dataset. We find variations in the relative abundance of elements with low first ionization potential, mass dependencies, and charge state during time intervals in which mesoscale periodic structures are observed. These variations are linked to temporal or spatial variations in solar source regions and put constraints on the solar wind formation mechanisms that produce them. Techniques presented here are relevant for future, higher-resolution studies of data from new instruments such as Solar Orbiter’s Heavy Ion Sensor.

Irena Gershkovich↗
NASA NTRS1993

XPS analysis of the effect of fillers on PTFE transfer film development in sliding contacts

The development of transfer films atop steel counterfaces in contact with unfilled and bronze-filled PTFE has been studied using X-ray photoelectron spectroscopy. The sliding apparatus was contained within the vacuum of the analytical system, so the effects of the native oxide, hydrocarbon, and adsorbed gaseous surface layers of the steel upon the PTFE transfer behavior could be studied in situ. For both the filled and the unfilled PTFE, cleaner surfaces promoted greater amounts of transfer. Metal fluorides, which formed at the transfer film/counterface interface, were found solely in cases where the native oxide had been removed to expose the metallic surface prior to sliding. These fluorides also were found at clean metal/PTFE interfaces formed in the absence of frictional contact. A fraction of these fluorides resulted from irradiation damage inherent in XPS analysis. PTFE transfer films were found to build up with repeated sliding passes, by a process in which strands of transfer filled in the remaining counterface area. Under these reported test conditions, the transfer process is not expected to continue atop previously deposited transfer films. The bronze-filled composite generated greater amounts of transfer than the unfilled PTFE. The results are discussed relative to the observed increase in wear resistance imparted to PTFE by a broad range of inorganic fillers.

Blanchet, T. A.↗
NASA NTRS2011

Land Surface Verification Toolkit (LVT) - A Generalized Framework for Land Surface Model Evaluation

Model evaluation and verification are key in improving the usage and applicability of simulation models for real-world applications. In this article, the development and capabilities of a formal system for land surface model evaluation called the Land surface Verification Toolkit (LVT) is described. LVT is designed to provide an integrated environment for systematic land model evaluation and facilitates a range of verification approaches and analysis capabilities. LVT operates across multiple temporal and spatial scales and employs a large suite of in-situ, remotely sensed and other model and reanalysis datasets in their native formats. In addition to the traditional accuracy-based measures, LVT also includes uncertainty and ensemble diagnostics, information theory measures, spatial similarity metrics and scale decomposition techniques that provide novel ways for performing diagnostic model evaluations. Though LVT was originally designed to support the land surface modeling and data assimilation framework known as the Land Information System (LIS), it also supports hydrological data products from other, non-LIS environments. In addition, the analysis of diagnostics from various computational subsystems of LIS including data assimilation, optimization and uncertainty estimation are supported within LVT. Together, LIS and LVT provide a robust end-to-end environment for enabling the concepts of model data fusion for hydrological applications. The evolving capabilities of LVT framework are expected to facilitate rapid model evaluation efforts and aid the definition and refinement of formal evaluation procedures for the land surface modeling community.

Kumar, Sujay V.↗
NASA NTRS2013

Feasibility of a Networked Air Traffic Infrastructure Validation Environment for Advanced NextGen Concepts

Abstract-Next Generation Air Transportation System (NextGen) applications reliant upon aircraft data links such as Automatic Dependent Surveillance-Broadcast (ADS-B) offer a sweeping modernization of the National Airspace System (NAS), but the aviation stakeholder community has not yet established a positive business case for equipage and message content standards remain in flux. It is necessary to transition promising Air Traffic Management (ATM) Concepts of Operations (ConOps) from simulation environments to full-scale flight tests in order to validate user benefits and solidify message standards. However, flight tests are prohibitively expensive and message standards for Commercial-off-the-Shelf (COTS) systems cannot support many advanced ConOps. It is therefore proposed to simulate future aircraft surveillance and communications equipage and employ an existing commercial data link to exchange data during dedicated flight tests. This capability, referred to as the Networked Air Traffic Infrastructure Validation Environment (NATIVE), would emulate aircraft data links such as ADS-B using in-flight Internet and easily-installed test equipment. By utilizing low-cost equipment that is easy to install and certify for testing, advanced ATM ConOps can be validated, message content standards can be solidified, and new standards can be established through full-scale flight trials without necessary or expensive equipage or extensive flight test preparation. This paper presents results of a feasibility study of the NATIVE concept. To determine requirements, six NATIVE design configurations were developed for two NASA ConOps that rely on ADS-B. The performance characteristics of three existing in-flight Internet services were investigated to determine whether performance is adequate to support the concept. Next, a study of requisite hardware and software was conducted to examine whether and how the NATIVE concept might be realized. Finally, to determine a business case, economic factors were evaluated and a preliminary cost-benefit analysis was performed.

McCormack, Michael J.↗
NASA NTRSDate not supplied

Advancing xEMU Lunar Dust Mitigation Devices

Fine, electrically charged, glass like dust particles caused significant damage to the Apollo EMU9 during lunar EVAs, identified as one of the greatest challenges to future exploration. Passive Lunar Dust Mitigation Devices (LDMD) were developed, within a SBIR Phase II, to prohibit this dust from interrupting venting space suit component operation. A Computational Fluid-Dynamics and Discrete Element Method (CFD-DEM) Simulation Tool was developed at the University of Colorado, Boulder to predict venting gas flow ability to self-clean adhered dust particles from LDMD surfaces. Lunar dust properties (i.e., adhesion and cohesion strengths) required to complete Simulation Tool analysis are relatively unknown due to considerable differences between the Earth and the Moon (i.e., gravity, humidity) and due to an absence of dust particles in their native state. Analytically determining gas flow velocity, density and direction within the fluid Boundary Layer, microns from LDMD surfaces presented a second challenge. Dusty Plasma Chamber testing is being performed at Auburn University, Auburn to observe electrostatically charged dust behavior as it adheres to LDMD prototypes and specific geometry and is then blown away by metered gas flow. Test articles were developed to offer insight into the impact of different flow geometries, surface roughness and dust removal within the gas Boundary-Layer. Observed dust behavior is currently being developed to support the CFD-DEM analysis. Many Simulation Tool analytical cases have been processed to support the intention of completing sensitivity studies to assess how different dust adherence values and Boundary Layer fluid properties impact LDMD self-cleaning effectivity.

Thomas J Stapleton↗
NASA NTRS2009

A Survey of New Trends in Symbolic Execution for Software Testing and Analysis

Symbolic execution is a well-known program analysis technique which represents values of program inputs with symbolic values instead of concrete (initialized) data and executes the program by manipulating program expressions involving the symbolic values. Symbolic execution has been proposed over three decades ago but recently it has found renewed interest in the research community, due in part to the progress in decision procedures, availability of powerful computers and new algorithmic developments. We provide a survey of some of the new research trends in symbolic execution, with particular emphasis on applications to test generation and program analysis. We first describe an approach that handles complex programming constructs such as input data structures, arrays, as well as multi-threading. We follow with a discussion of abstraction techniques that can be used to limit the (possibly infinite) number of symbolic configurations that need to be analyzed for the symbolic execution of looping programs. Furthermore, we describe recent hybrid techniques that combine concrete and symbolic execution to overcome some of the inherent limitations of symbolic execution, such as handling native code or availability of decision procedures for the application domain. Finally, we give a short survey of interesting new applications, such as predictive testing, invariant inference, program repair, analysis of parallel numerical programs and differential symbolic execution.

Pasareanu, Corina S.↗