Old Web
English
Sign In
Acemap
>
Paper
>
Improving the efficiency of system-level debug support based on satisfiability problem by introducing bug models
Improving the efficiency of system-level debug support based on satisfiability problem by introducing bug models
2010
yuuki harada
yuu nisihara
takesi matumoto
Keywords:
Debugging
Boolean satisfiability problem
Computer science
Theoretical computer science
system level
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]