Author:
Lu Hong,Wang Huitao,Gui Jiacheng,Chen Panfeng,Huang Hao
Subject
Computer Networks and Communications,Human-Computer Interaction,Software
Reference54 articles.
1. Risk factors in software development projects: a systematic literature review;Menezes;Softw. Qual. J.,2019
2. Inferring loop invariants through gamification;Bounov,2018
3. A survey of automated techniques for formal software verification;D’Silva;IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst.,2008
4. seL4: formal verification of an OS kernel;Klein,2009
5. A practical verification framework for preemptive OS kernels;Xu,2016