E-LIB Suche - Ergebnisse für: Budnik, Christof J.

1

Special issue on automation of software testing: improving ..:

Budnik, Christof ; Fraser, Gordon ; Lonetti, Francesca.
Software Quality Journal. 26 (2018) 4 - p. 1415-1419 , 2018

Link: https://doi.org/10.1007/..

2

Model-based mutation testing—Approach and case studies:

Belli, Fevzi ; Budnik, Christof J. ; Hollmann, Axel..
Science of Computer Programming. 120 (2016) - p. 25-48 , 2016

Link: https://doi.org/10.1016/..

3

Defining variability in activity diagrams and Petri nets:

Heuer, André ; Stricker, Vanessa ; Budnik, Christof J....
Science of Computer Programming. 78 (2013) 12 - p. 2414-2432 , 2013

Link: https://doi.org/10.1016/..

4

Experiences using Tedeso: an extensible and interoperable m..:

Silva Filho, Roberto Silveira ; Hasling, William M. ; Budnik, Christof J..
Automated Software Engineering. 20 (2013) 3 - p. 299-337 , 2013

Link: https://doi.org/10.1007/..

5

Guest editors' introduction to the special section on explo..:

Budnik, Christof J. ; Chan, W. K. ; Kapfhammer, Gregory M..
Software Quality Journal. 19 (2011) 4 - p. 689-690 , 2011

Link: https://doi.org/10.1007/..

6

Software testing research in practice : report on the 5t..:

Chan, Wing Kwong ; Budnik, Christof J. ; Kapfhammer, Gregory M.
ACM SIGSOFT Software Engineering Notes. 35 (2010) 5 - p. 25-26 , 2010

Link: https://dl.acm.org/doi/1..

7

Test minimization for human-computer interaction:

Belli, Fevzi ; Budnik, Christof J.
Applied Intelligence. 26 (2006) 2 - p. 161-174 , 2006

Link: https://doi.org/10.1007/..

8

Event-based modelling, analysis and testing of user interac..:

Belli, Fevzi ; Budnik, Christof J. ; White, Lee
Software Testing, Verification and Reliability. 16 (2006) 1 - p. 3-32 , 2006

Link: https://doi.org/10.1002/..

9

Numerical Approach to Optimize the Dynamic Behaviour of Str..:

Kaal, William ; Baumgartner, Jörg ; Budnik, Maximilian.
Vibration. 6 (2023) 3 - p. 477-493 , 2023

Link: https://doi.org/10.3390/..

10

Erratum to: Advisory boards for migrants and democratic reg..:

Kersting, Norbert ; Budnik, Maria ; Haase, Annegret..
Zeitschrift für Vergleichende Politikwissenschaft. 16 (2022) 4 - p. 775-776 , 2022

Link: https://doi.org/10.1007/..

11

Migrationsbeiräte und demokratische Regression? Akteure, Ko..:

Kersting, Norbert ; Budnik, Maria ; Haase, Annegret..
Zeitschrift für Vergleichende Politikwissenschaft. 16 (2022) 1 - p. 101-126 , 2022

Link: https://doi.org/10.1007/..

12

Migration-Related Conflicts as Drivers of Institutional Cha..:

Budnik, Maria ; Grossmann, Katrin ; Hedtke, Christoph
Urban Planning. 6 (2021) 2 - p. 103-112 , 2021

Link: https://doi.org/10.17645..

13

Migration-Related Conflicts as Drivers of Institutional Cha..:

Budnik, Maria ; Grossmann, Katrin ; Hedtke, Christoph
Urban Planning. 6 (2021) 2 - p. 103-112 , 2021

Link: https://doi.org/10.17645..

14

Konflikte als Hoffnungsträger. Auseinandersetzungen um die ..:

Großmann, Katrin ; Roskamm, Nikolai ; Budnik, Maria...
Neue Politische Literatur. 66 (2021) 3 - p. 305-322 , 2021

Link: https://doi.org/10.1007/..

15

Soziale Differenzierung und zunehmende soziale Heterogenitä..:

Haase, Annegret ; Budnik, Maria ; Großmann, Katrin...
Raumforschung und Raumordnung / Spatial Research and Planning. 77 (2019) 5 - p. 525-540 , 2019

Link: https://doi.org/10.2478/..