STAR USI Lugano

Software Testing and Analysis Research group at USI Lugano

[STAR USI Lugano @STAR_USI]

We have open PhD and Postdoc positions at the STAR Software Testing and Analysis Research lab, Lugano, Switzerland. #PhD #postdoc #software #jobsearch

More information at https://t.co/5spBTcHknd

[STAR USI Lugano @STAR_USI]

https://t.co/jyqjSKMLtj

[STAR USI Lugano @STAR_USI]

The STAR (Software Testing and Analysis Research) group of USI (Università della Svizzera italiana) is looking for new PhD students in the field of software and quality engineering. The PhD candidates will work in a team under the... https://t.co/FBi75ZYNAM

[STAR USI Lugano @STAR_USI]

The paper "Localizing Faults in Cloud Systems" by Leonardo Mariani, Cristina Monni, Mauro Pezzè, and Oliviero... https://t.co/ntSlUH4c9x

[STAR USI Lugano @STAR_USI]

Prof. Mauro Pezzè recognized ACM Distinguished Member for his scientific contributions to computing!

Congrats!... https://t.co/xALdcxxDVw

[STAR USI Lugano @STAR_USI]

The paper "Reproducing Concurrency Failures from Crash Stacks" by Francesco Bianchi, Mauro Pezzè, and Valerio... https://t.co/omiCF7xtdr

[STAR USI Lugano @STAR_USI]

The paper "A Survey of Recent Trends in Testing Concurrent Software Systems" by Francesco Bianchi, Alessandro... https://t.co/xWqEETQQIS

[STAR USI Lugano @STAR_USI]

Toradocu 1.0 is here. If you would like to test your software automatically, learn how Toradocu can help you.... https://t.co/8LCTix0K74

[STAR USI Lugano @STAR_USI]

"Automatic Generation of Oracles for Exceptional Behaviors" by Goffi, @AlessandraGorla, Ernst, and Pezzè accepted at ISSTA 2016

[STAR USI Lugano @STAR_USI]

We invite applications for two postdoctoral positions in our group at the University of Lugano http://t.co/WEi0mMfwuC

[STAR USI Lugano @STAR_USI]

"Symbolic Execution of Programs with Heap Inputs" by @PBraione , Giovanni Denaro and Mauro Pezzè has been accepted at ESEC/FSE 2015!

[STAR USI Lugano @STAR_USI]

The paper "Synthesis of Equivalent Method Calls in Guava" by @Andrea Mattavelli, Alberto Goffi, and Alessandra... http://t.co/zVfkzdbRsz

[STAR USI Lugano @STAR_USI]

The paper "Scalable Program Analysis through Proof Caching" by Andrea Aquino has been accepted at ISSTA 2015 -... http://t.co/jygiehIwag

[STAR USI Lugano @STAR_USI]

The paper "Reusing Constraint Proofs in Program Analysis" by Andrea Aquino, Francesco Bianchi, Meixian Chen,... http://t.co/xV6LfNs8Y5

[STAR USI Lugano @STAR_USI]

The paper "Automatic Workarounds: Exploiting the Intrinsic Redundancy of Web Applications" by Antonio Carzaniga,... http://t.co/wGXbaTepTC

[STAR USI Lugano @STAR_USI]

Prof. Mauro Pezzè will be the keynote speaker at AST 2015!
http://t.co/NOccgtcwRY http://t.co/PM1nv2BF3N

[STAR USI Lugano @STAR_USI]

The paper "Dynamic Data Flow Testing of Object Oriented Systems" by Giovanni Denaro, Alessandro Margara, Mauro... http://t.co/QSL8GccDJd

[STAR USI Lugano @STAR_USI]

The paper: "Measuring Software Redundancy" by Antonio Carzaniga, Andrea Mattavelli, and Mauro Pezzè has been... http://t.co/2N1kewol33

[STAR USI Lugano @STAR_USI]

The paper "Dynamic Data Flow Testing of Object Oriented Systems" by Giovanni Denaro, Alessandro Margara, Mauro... http://t.co/KmHFt7yZh7

[STAR USI Lugano @STAR_USI]

Prof. Mauro Pezzè held a distinguished lecture on "Exploiting intrinsic redundancy to increase software... http://t.co/ue4GMEC2xb