| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2024 | J | jnl |
CoRR
|
| 2023 | A* | conf |
ASE
|
| 2023 | J | jnl |
IEEE Trans. Reliab.
|
| 2023 | Misc | conf |
TASE
|
| 2023 | — | conf |
CSEE&T
|
| 2022 | B | conf |
COMPSAC
|
| 2022 | C | conf |
QRS
|
| 2022 | — | conf |
ICSE-Companion
|
| 2022 | C | conf |
SEKE
|
| 2021 | J | jnl |
IEEE Trans. Reliab.
|
| 2021 | C | conf |
QRS
|
| 2021 | J | jnl |
IEEE Access
|
| 2021 | C | conf |
QRS
|
| 2021 | C | conf |
QRS
|
| 2021 | — | conf |
DSA
|
| 2021 | — | conf |
DSA
|
| 2021 | C | conf |
QRS
|
| 2021 | C | conf |
QRS
|
| 2020 | C | conf |
AST
|
| 2020 | J | jnl |
WANA: Symbolic Execution of Wasm Bytecode for Cross-Platform Smart Contract Vulnerability Detection.
CoRR
|
| 2019 | A* | conf |
ASE
|
| 2019 | — | conf |
COMPSAC (1)
|
| 2018 | J | jnl |
CoRR
|
| 2018 | A* | conf |
ASE
|
| 2018 | J | jnl |
IEEE Trans. Reliab.
|
| 2018 | — | conf |
COMPSAC (1)
|
| 2018 | — | conf |
COMPSAC (1)
|
| 2018 | J | jnl |
J. Syst. Softw.
|
| 2017 | J | jnl |
J. Syst. Softw.
|
| 2017 | J | jnl |
IEEE Trans. Reliab.
|
| 2017 | C | conf |
QRS
|
| 2017 | J | jnl |
J. Syst. Softw.
|
| 2017 | A* | conf |
ASE
|
| 2017 | J | jnl |
J. Syst. Softw.
|
| 2017 | — | conf |
COMPSAC (2)
|
| 2017 | C | conf |
QRS
|
| 2016 | C | conf |
QRS
|
| 2016 | — | conf |
COMPSAC Workshops
|
| 2016 | J | jnl |
J. Syst. Softw.
|
| 2016 | J | jnl |
IEEE Trans. Serv. Comput.
|
| 2016 | C | conf |
QRS
|
| 2016 | J | jnl |
ACM Trans. Softw. Eng. Methodol.
|
| 2016 | C | conf |
QRS
|
| 2016 | C | conf |
QRS
|
| 2016 | — | conf |
MET@ICSE
|
| 2015 | C | conf |
ASR: Abstraction Subspace Reduction for Exposing Atomicity Violation Bugs in Multithreaded Programs.
QRS
|
| 2015 | B | conf |
COMPSAC
|
| 2015 | — | conf |
Slope-Based Sequencing Yardstick for Analyzing Unsatisfactory Performance of Multithreaded Programs.
COMPSAC (Stephen S. Yau Academic Symposium)
|
| 2014 | A* | conf |
ICSE
|
| 2014 | B | conf |
COMPSAC
|
| 2014 | J | jnl |
ACM Trans. Auton. Adapt. Syst.
|
| 2014 | J | jnl |
IEEE Trans. Software Eng.
|
| 2014 | J | jnl |
IEEE Trans. Serv. Comput.
|
| 2013 | — | conf |
QSIC
|
| 2013 | J | jnl |
Inf. Softw. Technol.
|
| 2013 | B | conf |
COMPSAC
|
| 2013 | J | jnl |
Softw. Pract. Exp.
|
| 2013 | J | jnl |
IEEE Trans. Parallel Distributed Syst.
|
| 2013 | J | jnl |
Inf. Softw. Technol.
|
| 2013 | — | conf |
QSIC
|
| 2013 | A | conf |
ICWS
|
| 2013 | — | conf |
QSIC
|
| 2013 | J | jnl |
Int. J. Web Serv. Res.
|
| 2012 | J | jnl |
Softw. Pract. Exp.
|
| 2012 | A | conf |
ISSTA
|
| 2012 | J | jnl |
J. Syst. Softw.
|
| 2012 | J | jnl |
Computer
|
| 2012 | J | jnl |
Inf. Softw. Technol.
|
| 2012 | J | jnl |
Inf. Softw. Technol.
|
| 2012 | A* | conf |
ICSE
|
| 2012 | — | conf |
APSEC Workshops
|
| 2012 | B | conf |
COMPSAC
|
| 2012 | J | jnl |
J. Syst. Softw.
|
| 2011 | — | conf |
QSIC
|
| 2011 | J | jnl |
J. Syst. Softw.
|
| 2011 | J | jnl |
Softw. Pract. Exp.
|
| 2011 | J | jnl |
Softw. Qual. J.
|
| 2011 | A | conf |
ISSRE
|
| 2011 | J | jnl |
J. Syst. Softw.
|
| 2011 | — | conf |
QSIC
|
| 2011 | B | conf |
COMPSAC
|
| 2011 | J | jnl |
J. Syst. Softw.
|
| 2010 | — | conf |
SOSE
|
| 2010 | J | jnl |
J. Syst. Softw.
|
| 2010 | J | jnl |
Softw. Test. Verification Reliab.
|
| 2010 | — | conf |
QSIC
|
| 2010 | — | conf |
QSIC
|
| 2010 | J | jnl |
ACM Trans. Softw. Eng. Methodol.
|
| 2010 | — | conf |
QSIC
|
| 2010 | — | ed. |
QSIC
|
| 2010 | A | conf |
ICWS
|
| 2010 | — | ed. |
AST@ICSE
|
| 2009 | — | conf |
COMPSAC (1)
|
| 2009 | — | conf |
ESEC/SIGSOFT FSE
|
| 2009 | J | jnl |
Inf. Softw. Technol.
|
| 2009 | C | conf |
APSCC
|
| 2009 | — | conf |
COMPSAC (1)
|
| 2009 | — | conf |
QSIC
|
| 2009 | A* | conf |
WWW
|
| 2009 | A* | conf |
ASE
|
| 2009 | A* | conf |
WWW
|
| 2008 | J | jnl |
Displays
|
| 2008 | A* | conf |
ICSE
|
| 2008 | B | conf |
COMPSAC
|
| 2008 | A* | conf |
ICSE
|
| 2008 | — | conf |
SOSE
|
| 2007 | — | conf |
ESEC/SIGSOFT FSE
|
| 2007 | A* | conf |
ICSE
|
| 2007 | Misc | conf |
SAC
|
| 2007 | — | conf |
ESEC/SIGSOFT FSE
|
| 2007 | — | conf |
COMPSAC (1)
|
| 2007 | — | conf |
QSIC
|
| 2007 | J | jnl |
Commun. ACM
|
| 2007 | Misc | conf |
Ada-Europe
|
| 2007 | J | jnl |
Eur. J. Oper. Res.
|
| 2006 | — | conf |
SOQUA
|
| 2006 | J | jnl |
J. Syst. Softw.
|
| 2006 | A* | conf |
ICSE
|
| 2006 | J | jnl |
Int. J. Softw. Eng. Knowl. Eng.
|
| 2006 | — | conf |
SIGSOFT FSE
|
| 2006 | A* | conf |
ICSE
|
| 2006 | — | conf |
COMPSAC (1)
|
| 2006 | — | conf |
QSIC
|
| 2006 | — | conf |
SIGSOFT FSE
|
| 2006 | — | conf |
SIGSOFT FSE
|
| 2005 | — | conf |
QSIC
|
| 2005 | — | conf |
QSIC
|
| 2005 | — | conf |
QSIC
|
| 2004 | B | conf |
COMPSAC
|
| 2004 | J | jnl |
J. Glob. Optim.
|