Petru Florin Mihancea, Marius Minea. JMODEX: Model extraction for verifying security properties of web applications. In Serge Demeyer, Dave Binkley, Filippo Ricca, editors, 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE 2014, Antwerp, Belgium, February 3-6, 2014. pages 450-453, IEEE, 2014. [doi]
Abstract is missing.