[

CoRR]
[

post-WCN’12]
[

post-XM’12]
[

post-MPM’12]
[

pre-WCN’12]
[

pre-XM’12]
[

pre-MPM’12]
[

CoRR]
[

post-LDTA’12]
[

post-BX’12]
[

pre-LDTA’12]
[

SAC’12]
[

pre-BX’12]
[

post-SLE’11]

[NWPT’12]
[POPL’13]
[EMSE]
[FSE NIER’12]
[FSE NIER’12]
[NordiCloud’12]
[SCAM’12]
[JUCS]
[ICSM’12]
[TFP’12]
[ECMFA’12]
[Veni’12]

[

SCP]

[

CSMR-WCRE’14]
[

CSMR-WCRE’14 ERA]
[

post-XM’13]
[

post-XM’13]
[

pre-XM’13]
[

pre-XM’13]
[

SATToSE’13]
[

SLE’13]
[

SLE’13 PS]
[

WCRE’13]

[CSMR-WCRE’14 ERA]
[MPM’13]
[ICSM’13 ERA]
[IPL]
[SCAM’13]
[ESEC’13]
[RTA’13]
[IFM’13]
[Veni’13]

[BX’14]
[

SQM’14]
[

JOT]
[

SCP]

[EduSymp’14]
[EduSymp’14]
[SCP]
[SANER’15]
[ME’14]
[GEMOC’14]
[Parsing@SLE’14]
[MoDELS’14]
[FNWI/IvI]
[JOT]
[TFPIE’14]
[TFP’14]
[SQM’14]
[CSMR-WCRE’14]
[CSMR-WCRE’14 ERA]
[SATToSE]
[OOPSLE]

[SANER’15 ERA]
[SANER’15 ERA]
[XM’14]
[GEMOC’14]
[EPTCS]
[TOCE]
[ECMFA’14]
[BX’14]

[SWAN’15]
[IWSC’15]
[SATToSE’14]
[SATToSE’14]

[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]

[SURE]
[SRC’15]
[FlexMDE’15]
[EduSymp’15]
[MULTI’15]
[IFL’15]
[PAME’15]
[GCM’15]
[SATToSE’15]
[SATToSE’15]
[SIGSOFT SE Notes]
[MoDELS’15]
[SATToSE’14]
[EduSymp’14]
[SATToSE’14]
[SATToSE’14]
[EduSymp’14]
[EduSymp’14]
[SCP]
[CEUR]

[SANER’16 ERA]
[SANER’16]
[SWAN’15]
[IWSC’15]

[SANER’16 ERA]
[SATToSE’15]
[SATToSE’15]
[SATToSE’15]
[EC-EASST]

[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[BSc @ UvA]
[MSc @ UvA]

[Shonan№091]
[META’16]
[DSLDI’16]
[SLE’16]
[SLE’16]
[ICSME’16]
[ICSME’16]
[ICSME’16]
[SATToSE’16]
[EC-EASST]
[SANER’16 ERA]
[SATToSE’15]
[PAME’15]

[PLATEAU’16]
[ComLan]
[ICMT’16]

[‹Programming›]
[EMISA]
[SATToSE’16]

[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]

[SLE’18]
[PX/17.2]
[NOOL’17]
[Parsing@SLE’17]
[PLATEAU’17]
[PX/17.2]
[CoCoS’17]
[GPCE’17]
[SLE’17]
[MoDELS’17]
[IWACO’17]
[SATToSE’15]
[SATToSE’15]
[‹Programming›]
[MoreVMs’17]
[SATToSE’16]
[SATToSE’16]

[EMISA]
[IC’17]

—

[MSc @ UvA]
[MSc @ UvA]

[SANER’19 IT]
[SLE’18]

[ICSE’19 NIER]
[ICSME’18]

—

—

[post-SATToSE’19]
[pre-BENEVOL'19]
[REBLS’19]
[DS’19]
[pre-SATToSE’19]
[Dagstuhl№18491]
[Dagstuhl№18491]
[SoHeal’19]
[TD-TD’19]
[CSSR’19]
[‹Programming›’19 DT]
[SANER’19 IT]

[CC’20]
[ICSE’20 SEIP]
[SAC'19]
[SLE’19]
[SLE’19]
[SCAM'19]
[ECML/PKDD’19]
[ICMT’19]
[SDR’19]
[CSR’19]

—

[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]
[MSc @ UvA]

[IEEE Software]
[BENEVOL’20]
[PROFES’20]
[SLE’20]
[OOPSLE’20]
[OOPSLE’20]
[SATToSE’20]
[ECMFA’20]
[BENEVOL’19]
[BENEVOL’19]

[SAC/PL’21]
[‹Programming›’20]
[ICPC’20]

—

[MSc @ UvA]

[SLE]
[VISSOFT]
[IEEE Software]

—

—

[MSc @ UvA]
[MSc @ UT]
[MSc @ UvA]
[MSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[CapSel @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]

[EduSymp’22]
[HuFaMo’22]
[SCAM’22]
[MeSS’22]
[BX’22]
[BENEVOL’22]
[MoDELS’22]
[ICSME’22]

[SLE’22]
[EduSymp’22]
[SCAM’22]
[iFM’22]

—

[CapSel @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]

[SANER TOOL]
[SANER ERA]
[SANER RENE]
[BENEVOL]
[GPCE]
[post-SATToSE]
[post-SATToSE]
[pre-SATToSE]
[I/O Vivat]
[MODELSWARD]
[I/O Vivat]

[SANER ERA]
[SANER]
[SANER]
[BENEVOL]
[FASE]
[SSBSE]
[ICSME NIER]
[SLE]
[SLE]
[SPLASH-E]
[ASE]
[ICSME]
[ECMFA]
[FDG]

[PR]
[JSS]
[SoSyM]

[PhD @ UCL]
[MSc @ UT]
[MSc @ UT]
[MSc @ UT]
[CapSel @ UT]
[CapSel @ UT]
[CapSel @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[CapSel @ UT]
[MSc @ UT]
[MSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]
[BSc @ UT]