| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
IEEE Trans. Software Eng.
|
| 2025 | A | conf |
SANER
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
Teralizer: Semantics-Based Test Generalization from Conventional Unit Tests to Property-Based Tests.
CoRR
|
| 2024 | — | conf |
MoDELS (Companion)
|
| 2024 | J | jnl |
J. Syst. Softw.
|
| 2024 | — | conf |
PROFES (Industry-, Workshop-, and Doctoral Symposium Papers)
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
J. Syst. Softw.
|
| 2024 | J | jnl |
J. Syst. Softw.
|
| 2024 | A* | conf |
USENIX Security Symposium
|
| 2024 | A* | conf |
ICRA
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2022 | J | jnl |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
|
| 2022 | J | jnl |
CoRR
|
| 2021 | J | jnl |
J. Cybersecur. Priv.
|
| 2021 | J | jnl |
IEEE Trans. Software Eng.
|
| 2021 | J | jnl |
ACM SIGSOFT Softw. Eng. Notes
|
| 2021 | A | conf |
ICPC
|
| 2021 | J | jnl |
Empir. Softw. Eng.
|
| 2021 | C | conf |
Software Engineering
|
| 2020 | — | conf |
ICSOFT (Selected Papers)
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
SE
|
| 2020 | C | conf |
ICSOFT
|
| 2020 | A | conf |
SANER
|
| 2020 | J | jnl |
IEEE Des. Test
|
| 2020 | J | jnl |
Softw. Qual. J.
|
| 2020 | — | conf |
SATToSE
|
| 2020 | J | jnl |
Empir. Softw. Eng.
|
| 2020 | J | jnl |
CoRR
|
| 2019 | — | conf |
IRC
|
| 2019 | J | jnl |
Softwaretechnik-Trends
|
| 2019 | J | jnl |
Empir. Softw. Eng.
|
| 2018 | A | conf |
ICPC
|
| 2018 | A | conf |
SANER
|
| 2018 | — | conf |
MaLTeSQuE
|
| 2018 | A | conf |
ICSME
|
| 2018 | J | jnl |
Empir. Softw. Eng.
|
| 2018 | A | conf |
ICSME
|
| 2018 | — | conf |
FormaliSE@ICSE
|
| 2018 | A* | conf |
ASE
|
| 2018 | — | conf |
HPCS
|
| 2017 | J | jnl |
Softw. Syst. Model.
|
| 2017 | J | jnl |
CoRR
|
| 2017 | C | conf |
SCAM
|
| 2017 | A | conf |
MSR
|
| 2017 | J | jnl |
Empir. Softw. Eng.
|
| 2017 | A | ed. |
SANER
|
| 2016 | — | ed. |
GI-Jahrestagung
|
| 2016 | A | conf |
MSR
|
| 2016 | A | conf |
MSR
|
| 2016 | J | jnl |
Empir. Softw. Eng.
|
| 2016 | A | conf |
SANER
|
| 2015 | A | ed. |
MSR
|
| 2015 | J | jnl |
Empir. Softw. Eng.
|
| 2015 | B | conf |
ICSR
|
| 2015 | A | conf |
ICPC
|
| 2015 | B | conf |
VISSOFT
|
| 2014 | A | ed. |
MSR
|
| 2014 | B | conf |
SERVICES
|
| 2014 | A | conf |
ICSME
|
| 2014 | A* | conf |
ICSE
|
| 2014 | — | conf |
VaMoS
|
| 2014 | A | conf |
ICSME
|
| 2014 | J | jnl |
J. Softw. Evol. Process.
|
| 2014 | J | jnl |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
|
| 2013 | A | conf |
MSR
|
| 2013 | A* | conf |
ICSE
|
| 2013 | J | jnl |
Empir. Softw. Eng.
|
| 2013 | — | conf |
ICSM
|
| 2012 | A | conf |
ICWS
|
| 2012 | — | conf |
WCRE
|
| 2012 | A | conf |
MSR
|
| 2012 | A* | conf |
ICSE
|
| 2012 | — | conf |
ICSM
|
| 2012 | J | jnl |
CoRR
|
| 2012 | A | conf |
ESEM
|
| 2011 | — | ed. |
WCRE
|
| 2011 | J | jnl |
CoRR
|
| 2011 | A | conf |
ICPC
|
| 2011 | A | conf |
MSR
|
| 2011 | — | conf |
SOCA
|
| 2011 | A* | conf |
ICSE
|
| 2011 | — | conf |
ICSM
|
| 2011 | — | conf |
EVOL/IWPSE
|
| 2011 | — | conf |
QASBA
|
| 2010 | — | ed. |
WCRE
|
| 2010 | — | conf |
ICSE (2)
|
| 2010 | A | conf |
ECOOP
|
| 2010 | — | conf |
ICSM
|
| 2010 | — | ch. |
Collaborative Software Engineering
|
| 2010 | — | conf |
RSSE@ICSE
|
| 2010 | — | ch. |
Encyclopedia of Software Engineering
|
| 2010 | — | conf |
ICSP
|
| 2009 | J | jnl |
IEEE Softw.
|
| 2009 | A | conf |
MoDELS
|
| 2009 | — | conf |
ICSM
|
| 2009 | — | conf |
ESEC/SIGSOFT FSE
|
| 2009 | A | conf |
MSR
|
| 2008 | A | conf |
ICPC
|
| 2008 | — | ch. |
Software Evolution
|
| 2008 | — | conf |
SIGSOFT FSE
|
| 2007 | B | conf |
VISSOFT
|
| 2007 | J | jnl |
IEEE Trans. Software Eng.
|
| 2007 | B | conf |
FASE
|
| 2007 | — | conf |
IWPSE
|
| 2007 | — | conf |
WCRE
|
| 2007 | — | conf |
FAMOOSr@TOOLS
|
| 2006 | A | conf |
MSR
|
| 2006 | A | conf |
MSR
|
| 2006 | A* | conf |
ICSE
|
| 2006 | A | conf |
MSR
|
| 2006 | B | conf |
FASE
|
| 2006 | A | conf |
MSR
|
| 2005 | — | conf |
WCRE
|
| 2005 | A* | conf |
ICSE
|
| 2005 | C | conf |
SCAM
|
| 2005 | — | conf |
SOFTVIS
|
| 2004 | — | conf |
ICSM
|
| 2004 | — | conf |
WCRE
|
| 2004 | — | conf |
SETra@ICGT
|
| 2004 | — | conf |
SETra@ICGT
|
| 2003 | — | conf |
WCRE
|
| 2003 | — | conf |
IWPC
|
| 2003 | — | conf |
PFE
|
| 2003 | — | conf |
WCRE
|
| 2003 | — | conf |
ICSM
|
| 2003 | — | conf |
IWPC
|
| 2002 | — | conf |
IWPC
|
| 2002 | — | conf |
WCRE
|