API-Driven Program Synthesis for Testing Static Typing Implementations
- Safety, Risk, Reliability and Quality
- Software
Need a simple solution for managing your BibTeX entries? Explore CiteDrive!
- Web-based, modern reference management
- Collaborate and share with fellow researchers
- Integration with Overleaf
- Comprehensive BibTeX/BibLaTeX support
- Save articles and websites directly from your browser
- Search for new articles from a database of tens of millions of references
More from our Archive
- DOI: 10.1145/3632882 2024
Polymorphic Type Inference for Dynamic Languages
Giuseppe Castagna, Mickaël Laurent, Kim Nguyễn
- DOI: 10.1111/risa.14272 2024
The 8 billion milestone: Risk perceptions of global population growth among UK and US residents
Ian G. J. Dawson, Danni Zhang
- DOI: 10.4271/15-17-02-0010 2024
Torque Converter Dynamic Characterization Using Torque Transmissibility Frequency Response Functions: Locked Clutch Operation
Luke Jurmu, Darrell Robinette, Jason Blough, Craig Reynolds
- DOI: 10.3390/fire7010024 2024
Explosive Characteristics Analysis of Gasoline–Air Mixtures within Horizontal Oil Tanks
Xinsheng Jiang, Dongliang Zhou, Peili Zhang, Yunxiong Cai, Ri Chen, Donghai He, Xizhuo Qin, Keyu Lin, Sai Wang
- DOI: 10.3390/safety10010012 2024
A Cross-Sectional Observational Pilot Study of the Main Risk Factors Related to Lower Back Pain in Spanish Hospitality Workers
Melania Zamorano García, Gema Santamaría, Marina Seco-Casares, Ana M. Celorrio San Miguel, Eva Lantarón-Caeiro, Juan F. García, Diego Fernández-Lázaro
- DOI: 10.3390/fire7010023 2024
Knowledge Mapping for Fire Risk Assessment: A Scientometric Analysis Based on VOSviewer and CiteSpace
Zhixin Tang, Tianwei Zhang, Lizhi Wu, Shaoyun Ren, Shaoguang Cai
- DOI: 10.3390/civileng5010003 2024
High Glass Waste Incorporation towards Sustainable High-Performance Concrete
Othon Moreira, Aires Camões, Raphaele Malheiro, Carlos Jesus
- DOI: 10.3390/civileng5010004 2024
Factors Affecting Properties of Polymer Grouted Sands
Costas A. Anagnostopoulos, Vasilios Aggelidis
- DOI: 10.3390/safety10010011 2024
Nonlinear Analysis of the Effects of Socioeconomic, Demographic, and Technological Factors on the Number of Fatal Traffic Accidents
Nassim Sohaee, Shahram Bohluli
- DOI: 10.1002/prs.12563 2024
Damage mitigation method studies through simulation modeling of chemical accidents
Sehyeon Oh, Junseo Lee, Byungchol Ma