49 citations
- Durham UniversityGB2 papers
- Northumbria UniversityGB2 papers
- Aalborg UniversityDK1 paper
- Chinese Academy of SciencesCN1 paper
- East China Normal UniversityCN1 paper
- GFZ Helmholtz Centre for GeosciencesDE1 paper
- Institute of MicroelectronicsCN1 paper
- Lancaster UniversityGB1 paper
- National Centre for Atmospheric ScienceGB1 paper
- Oeschger Centre for Climate Change ResearchCH1 paper
- Potsdam Institute for Climate Impact ResearchDE1 paper
- Public and ScienceSE1 paper
Showing 2019Show all
2 papers · 1 filter
cs.PL2019
Concolic Testing Heap-Manipulating Programs
Long H. Pham, Quang Loc Le, Quoc-Sang Phan +1
Concolic testing is a test generation technique which works effectively by integrating random testing generation and symbolic execution. Existing concolic testing engines focus on…
physics.soc-ph2019★ 2 cited
Pathways to Good Healthcare Services and Patient Satisfaction: An Evolutionary Game Theoretical Approach
Zainab Alalawi, The Anh Han, Yifeng Zeng +1
Spending by the UK's National Health Service (NHS) on independent healthcare treatment has been increased in recent years and is predicted to sustain its upward trend with the fore…