Automated Software Testing as a Service George Candea, Stefan Bucur, Cristian Zamfir School of Computer and Communication Sciences École Polytechnique Fédérale de Lausanne (EPFL), Switzerland ABSTRACT

Source URL: dslab.epfl.ch

PROGRAM DEPUNERE DOSARE DEPUNEREA ACTELOR NECESARE ÎN VEDEREA TRANSFERULUI REZIDENŢILOR SESIUNEA IUNIE – IULIE 2018 ÎN CENTRUL UNIVERSITAR BUCUREŞTI, SE VA FACE LA DIRECŢIA DE SĂNĂTATE PUBLICĂ A MUN. BUCUR

Source URL: www.dspb.ro

Prototyping Symbolic Execution Engines for Interpreted Languages Stefan Bucur Johannes Kinder

Source URL: dslab.epfl.ch

Parallel Symbolic Execution for Automated Real-World Software Testing Stefan Bucur Vlad Ureche

Source URL: dslab.epfl.ch

Making Automated Testing of Cloud Applications an Integral Component of PaaS Stefan Bucur Johannes Kinder

Source URL: dslab.epfl.ch

Efficient State Merging in Symbolic Execution Volodymyr Kuznetsov Johannes Kinder Stefan Bucur

Source URL: dslab.epfl.ch

DISTRIBUTION OF ZETA ZEROES OF ARTIN–SCHREIER CURVES ALINA BUCUR, CHANTAL DAVID, BROOKE FEIGON, MATILDE LAL´IN, KANEENIKA SINHA Abstract. We study the distribution of the zeroes of the zeta functions of the family of

Source URL: www.iiserpune.ac.in

For Immediate Release For more information, Please contact Mary Fessenden AtDecember 2014 Advance Publicity All flms open to the public

Source URL: www.cinema.cornell.edu

• Fiction
• Films
• Police
• Adjective
• Willy Wonka
• Bugs Bunny
• Drago Bucur

NON-VANISHING TWISTS OF GL(2) AUTOMORPHIC L-FUNCTIONS BEN BRUBAKER, ALINA BUCUR, GAUTAM CHINTA, SHARON FRECHETTE, AND JEFFREY HOFFSTEIN Abstra t. Let  be a uspidal automorphi representation of GL(2; A K ). Suppose th

Source URL: mathcs.holycross.edu

Efficient Symbolic Execution for Software Testing Johannes Kinder Royal Holloway, University of London Joint work with: Stefan Bucur, George Candea, Volodymyr Kuznetsov @ EPFL

Source URL: www.cs.rhul.ac.uk