Automating Software Testing Using Program Analysis von Godefroid, P., de Halleux, P., Nori, A.V., Rajamani, S.K., Schulte, W., Tillmann, N., Levin, M.Y.

Volltext

MakeCode and CODAL: Intuitive and efficient embedded systems programming for education von Devine, James, Finney, Joe, de Halleux, Peli, Moskal, Michał, Ball, Thomas, Hodges, Steve

Volltext

Jacdac: Service-Based Prototyping of Embedded Systems von Ball, Thomas, de Halleux, Peli, Devine, James, Hodges, Steve, Moskal, Michał

Volltext

Plug-and-Play Physical Computing and Device Prototyping with Jacdac von Devine, James, Hodges, Steve, Ball, Thomas, Moskal, Michał, de Halleux, Peli, D'Amone, Gabriele, Gakure, David, Finney, Joe, Underwood, Lorraine, Hartley, Kobi, Oppenheim, Matt, Kos, Paul

Volltext

Plug-and-play Physical Computing with Jacdac von Devine, James, Moskal, Michal, de Halleux, Peli, Ball, Thomas, Hodges, Steve, D'Amone, Gabriele, Gakure, David, Finney, Joe, Underwood, Lorraine, Hartley, Kobi, Kos, Paul, Oppenheim, Matt

Volltext

Environmental Modeling for Automated Cloud Application Testing von Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Tillmann, N., de Halleux, P.

Volltext

Predictable and Progressive Testing of Multithreaded Code von Ball, T, Burckhardt, S, de Halleux, P, Musuvathi, M, Qadeer, S

Volltext

Rex: Symbolic Regular Expression Explorer von Veanes, Margus, de Halleux, Peli, Tillmann, Nikolai

Volltext

Symbolic Query Exploration von Veanes, Margus, Grigorenko, Pavel, de Halleux, Peli, Tillmann, Nikolai

Volltext

Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler von Auler, Rafael, Borin, Edson, de Halleux, Peli, Moskal, Michał, Tillmann, Nikolai

Volltext

Exploiting the synergy between automated-test-generation and programming-by-contract von Barnett, M., Fahndrich, M., de Halleux, P., Logozzo, F., Tillmann, N.

Volltext bestellen

Jacdac: Service-based Prototyping of Embedded Systems (PLDI 2024 Artifact Evaluation) von Devine, James, Ball, Thomas, de Halleux, Peli, Moskal, Michal, Hodges, Steve

Volltext bestellen

Jacdac: Service-based Prototyping of Embedded Systems (Artifact Evaluation) von Devine, James, Ball, Thomas, de Halleux, Peli, Moskal, Michal, Hodges, Steve

Volltext bestellen

It's alive! continuous feedback in UI programming von Burckhardt, Sebastian, Fahndrich, Manuel, de Halleux, Peli, McDirmid, Sean, Moskal, Michal, Tillmann, Nikolai, Kato, Jun

Volltext

MakeCode and CODAL: intuitive and efficient embedded systems programming for education von Devine, James, Finney, Joe, de Halleux, Peli, Moskal, Michał, Ball, Thomas, Hodges, Steve

Volltext

Environmental Modeling for Automated Cloud Application Testing : CLOUD COMPUTING von LINGHAO ZHANG, XIAOXING MA, JIAN LU, TAO XIE, TILLMANN, Nikolai, DE HALLEUX, Peli

Volltext

Makecode And Codal: Intuitive And Efficient Embedded Systems Programming For Education (Artifact Evaluation) von Devine, James, Finney, Joe, Halleux, Peli De, Moskal, Michal, Ball, Thomas, Hodges, Steve

Volltext bestellen

Pex--An Intelligent Assistant for Rigorous Developer Testing von Schulte, Wolfram

Volltext bestellen

Media files including programming code and description von DE HALLEUX JONATHAN PELI PAUL, MOSKAL MICHAL J, TILLMANN NIKOLAI

Volltext bestellen

The BBC micro:bit: from the U.K. to the world von Austin, Jonny, Baker, Howard, Ball, Thomas, Devine, James, Finney, Joe, De Halleux, Peli, Hodges, Steve, Moskal, Michał, Stockdale, Gareth

Volltext