Search

Your search keyword '"YILMAZ, CEMAL"' showing total 23 results
Start Over Author "YILMAZ, CEMAL" Publisher springer berlin heidelberg
23 results on '"YILMAZ, CEMAL"'

4. Automatic Grammar-Based Test Generation

Author

Guo, Hai-Feng, Qiu, Zongyan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

5. Adaptive Homing and Distinguishing Experiments for Nondeterministic Finite State Machines

Author

Kushik, Natalia, El-Fakih, Khaled, Yevtushenko, Nina, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

6. Finding Errors in Python Programs Using Dynamic Symbolic Execution

Author

Sapra, Samir, Minea, Marius, Chaki, Sagar, Gurfinkel, Arie, Clarke, Edmund M., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

7. A Tool for Supporting Developers in Analyzing the Security of Web-Based Security Protocols

Author

Pellegrino, Giancarlo, Compagna, Luca, Morreggia, Thomas, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

8. A Dynamic Approach to Locating Memory Leaks

Author

Vorobyov, Kostyantyn, Krishnan, Padmanabhan, Stocks, Phil, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

9. Spectrum-Based Fault Localization for Diagnosing Concurrency Faults

Author

Koca, Feyzullah, Sözer, Hasan, Abreu, Rui, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

10. Towards a GUI Test Model Using State Charts and Programming Code

Author

Mauser, Daniel, Klaus, Alexander, Holl, Konstantin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

11. Guided Algebraic Specification Mining for Failure Simplification

Author

Elyasov, Alexander, Prasetya, I. S. Wishnu B., Hage, Jurriaan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

12. Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3

Author

Stepien, Bernard, Peyton, Liam, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

13. Predicting the Size of Test Suites from Use Cases: An Empirical Exploration

Author

Badri, Mourad, Badri, Linda, Flageol, William, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

14. Chaining Test Cases for Reactive System Testing

Author

Schrammel, Peter, Melham, Tom, Kroening, Daniel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

15. Techniques and Toolset for Conformance Testing against UML Sequence Diagrams

Author

Faria, João Pascoal, Paiva, Ana C. R., de Castro, Mário Ventura, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

16. Case Studies in Learning-Based Testing

Author

Feng, Lei, Lundmark, Simon, Meinke, Karl, Niu, Fei, Sindhu, Muddassar A., Wong, Peter Y. H., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

17. Variations over Test Suite Reduction

Author

Güttinger, Dennis, Kozyura, Vitaly, Kremer, Dominik, Wieczorek, Sebastian, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

18. Parallel SMT-Constrained Symbolic Execution for Eclipse CDT/Codan

Author

Ibing, Andreas, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

19. Unfolding-Based Test Selection for Concurrent Conformance

Author

Ponce de León, Hernán, Haar, Stefan, Longuet, Delphine, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

20. Remote Testing of Timed Specifications

Author

David, Alexandre, Larsen, Kim G., Mikučionis, Marius, Nguena Timo, Omer L., Rollet, Antoine, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

21. Exhaustive Model-Based Equivalence Class Testing

Author

Huang, Wen-ling, Peleska, Jan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

22. An Implementation Relation and Test Framework for Timed Distributed Systems

Author

Gaston, Christophe, Hierons, Robert M., Le Gall, Pascale, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

23. Using Logic Coverage to Improve Testing Function Block Diagrams

Author

Enoiu, Eduard Paul, Sundmark, Daniel, Pettersson, Paul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results