Autor: "de Halleux, Jonathan" - OpacWWW

Skocz do pozycji: 1.

Tytuł:: Generating Test Suites with Augmented Dynamic Symbolic Execution
Autorzy:: Jamrozik, Konrad
Fraser, Gordon
Tillman, Nikolai
de Halleux, Jonathan; Pokaż więcej
Źródło:: Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings. 7942:152-167

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: State Coverage: Software Validation Metrics beyond Code Coverage
Autorzy:: Vanoverberghe, Dries
de Halleux, Jonathan
Tillmann, Nikolai
Piessens, Frank; Pokaż więcej
Źródło:: SOFSEM 2012: Theory and Practice of Computer Science : 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings. 7147:542-553

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Retrofitting Unit Tests for Parameterized Unit Testing
Autorzy:: Thummalapenta, Suresh
Marri, Madhuri R.
Xie, Tao
Tillmann, Nikolai
de Halleux, Jonathan; Pokaż więcej
Źródło:: Fundamental Approaches to Software Engineering : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings. 6603:294-309

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Qex: Symbolic SQL Query Explorer
Autorzy:: Veanes, Margus
Tillmann, Nikolai
de Halleux, Jonathan; Pokaż więcej
Źródło:: Logic for Programming, Artificial Intelligence, and Reasoning : 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers. 6355:425-446

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution
Autorzy:: Lakhotia, Kiran
Tillmann, Nikolai
Harman, Mark
de Halleux, Jonathan; Pokaż więcej
Źródło:: Testing Software and Systems : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings. 6435:142-157

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Parameterized Unit Testing with Pex: Tutorial
Autorzy:: Tillmann, Nikolai
de Halleux, Jonathan
Schulte, Wolfram; Pokaż więcej
Źródło:: Testing Techniques in Software Engineering : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures. 6153:141-202

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
Autorzy:: Thummalapenta, Suresh
de Halleux, Jonathan
Tillmann, Nikolai
Wadsworth, Scott; Pokaż więcej
Źródło:: Tests and Proofs : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010. Proceedings. 6143:77-93

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Moles: Tool-Assisted Environment Isolation with Closures
Autorzy:: de Halleux, Jonathan
Tillmann, Nikolai; Pokaż więcej
Źródło:: Objects, Models, Components, Patterns : 48th International Conference, TOOLS 2010, Málaga, Spain, June 28–July 2, 2010. Proceedings. 6141:253-270

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Using Dynamic Symbolic Execution to Improve Deductive Verification
Autorzy:: Vanoverberghe, Dries
Bjørner, Nikolaj
de Halleux, Jonathan
Schulte, Wolfram
Tillmann, Nikolai; Pokaż więcej
Źródło:: Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings. 5156:9-25

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Parameterized Unit Testing with Pex : (Tutorial)
Autorzy:: de Halleux, Jonathan
Tillmann, Nikolai; Pokaż więcej
Źródło:: Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings. 4966:171-181

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 11.

Tytuł:: Pex–White Box Test Generation for .NET
Autorzy:: Tillmann, Nikolai
de Halleux, Jonathan; Pokaż więcej
Źródło:: Tests and Proofs : Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedings. 4966:134-153

Książka elektroniczna

na półce

Szczegóły

Skocz do pozycji: 12.

Tytuł:: User-aware privacy control via extended static-information-flow analysis
Autorzy:: Xiao, Xusheng
Tillmann, Nikolai
Fahndrich, Manuel
de Halleux, Jonathan
Moskal, Michal
Xie, Tao; Pokaż więcej
Źródło:: Automated Software Engineering: An International Journal. September 2015 22(3):333-366

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 13.

Tytuł:: Stabilization of a 1-D tank containing a fluid modeled by the shallow water equations
Autorzy:: Prieur, Christophe
de Halleux, Jonathan; Pokaż więcej
Źródło:: In Systems & Control Letters 2004 52(3):167-178

Czasopismo naukowe

na półce

Szczegóły

Skocz do pozycji: 14.

Informacja:: Dostęp do tej pozycji wymaga zalogowania się.

Czasopismo naukowe

na półce

Szczegóły

Informacja

Wyszukujesz frazę ""de Halleux, Jonathan"" wg kryterium: Autor

Źródło danych

Ogranicz do:

Ogranicz do bazy

Typ dokumentu

Temat

Wydawca

Publikacja

Język