PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Forrest, Stephanie"

Author of the publication

copydeleteadd this publication to your clipboard
Using dynamic analysis to discover polynomial and array invariants.

, , , and . ICSE, page 683-693. IEEE Computer Society, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Stephanie Eigner University of Stuttgart

Stephanie Maier University of Stuttgart

Dr. -Ing. Stephanie Moritz University of Stuttgart

Stephanie Mrzyglod University of Stuttgart

Stephanie Bauer University of Stuttgart

 

Other publications of authors with the same name

Application and analysis of multidimensional negative surveys in participatory sensing applications., , , , and . Pervasive and Mobile Computing, 9 (3): 372-391 (2013)Genetic Algorithms, Operators, and DNA Fragment Assembly., , and . Machine Learning, 21 (1-2): 11-33 (1995)Trusted Software Repair for System Resiliency., , , , and . DSN Workshops, page 238-241. IEEE Computer Society, (2016)Volatility and spatial distribution of resources determine ant foraging strategies., , , and . ECAL, page 256-263. MIT Press, (2015)DIG: A Dynamic Invariant Generator for Polynomial and Array Invariants., , , and . ACM Trans. Softw. Eng. Methodol., 23 (4): 30:1-30:30 (2014)Cactus Environment Machine - Shared Environment Call-by-Need., , , and . TFP, volume 10447 of Lecture Notes in Computer Science, page 24-43. Springer, (2016)What Is a Learning Classifier System?, , , , , , , , , and 1 other author(s). Learning Classifier Systems, volume 1813 of Lecture Notes in Computer Science, page 3-32. Springer, (1999)Genetic algorithms for affine transformations to existential t-restrictions., , , and . GECCO (Companion), page 1707-1708. ACM, (2019)Connecting Program Synthesis and Reachability: Automatic Program Repair Using Test-Input Generation., , , and . TACAS (1), volume 10205 of Lecture Notes in Computer Science, page 301-318. (2017)The ecology of Malware., , , , and . NSPW, page 99-106. ACM, (2008)