105 citations
- Monash UniversityAU3 papers
- University of North Carolina at Chapel HillUS3 papers
- The University of Texas at AustinUS2 papers
- Amazon (United States)US1 paper
- Cairo UniversityEG1 paper
- Carnegie Mellon UniversityUS1 paper
- Centro Científico Tecnológico - TucumánAR1 paper
- Coventry (United Kingdom)GB1 paper
- Czech Academy of SciencesCZ1 paper
- Duke UniversityUS1 paper
- École Polytechnique Fédérale de LausanneCH1 paper
- EDF Lab Paris-Saclay (France)FR1 paper
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2019
Using GGNN to recommend log statement level
Mingzhe Li, Jianrui Pei, Jin He +4
In software engineering, log statement is an important part because programmers can't access to users' program and they can only rely on log message to find the root of bugs. The m…
cs.SE2015★ 6 cited
Formal Verification of Real-Time Function Blocks Using PVS
Linna Pang, Chen-Wei Wang, Mark Lawford +4
A critical step towards certifying safety-critical systems is to check their conformance to hard real-time requirements. A promising way to achieve this is by building the systems…