Artzi, Kiezun, Dolby, Tip, Dig, Paradkar, Ernst, 2010. Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking 36.. https://doi.org/10.1109/tse.2010.31