A Holistic Approach to Test-Driven Model Checking von Belli, Fevzi, Güldali, Baris

Volltext

Software Testing via Model Checking von Belli, Fevzi, Güldali, Bariş

Volltext

Model-Based System Testing Using Visual Contracts von Guldali, B., Mlynarski, M., Wubbeke, A., Engels, G.

Volltext

Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering von Guldali, B., Sauer, S., Engels, G., Funke, H., Jahnich, M.

Volltext

Low-temperature metallization & interconnection for silicon heterojunction and perovskite silicon tandem solar cells von De Rose, Angela, Erath, Denis, Nikitina, Veronika, Schube, Jörg, Güldali, Derya, Minat, Ädem, Rößler, Torsten, Richter, Alexei, Kirner, Simon, Kraft, Achim, Lorenz, Andreas

Volltext

Humidity sensing properties of ZnO/La(OH)^sub 3^ via impedance measurements von Ertek Güldali, Özlem, Sentürk, Erdoan, Okur, Ibrahim

Volltext

TORC: test plan optimization by requirements clustering von Güldali, Baris, Funke, Holger, Sauer, Stefan, Engels, Gregor

Volltext

Temperature- and humidity-sensing properties of ZnO:Yb/Er nanocrystal clusters synthesized by a facile microwave-assisted approach von Cao, B.S., Rino, L., Wu, J.L., He, Y.Y., Zhang, Z.Y., Feng, Z.Q., Dong, B.

Volltext

Morphotectonic evolution of Maviboğaz canyon and Suğla polje, SW central Anatolia, Turkey von Doğan, Uğur, Koçyiğit, Ali

Volltext

Improvement of humidity sensing performance of BiFeO3 nanoparticles-based sensor by the addition of carbon fibers von Douani, Rachida, Lamrani, Nouara, Oughanem, M’hand, Saidi, Malika, Guhel, Yannick, Chaouchi, Ahcène, Boudart, Bertrand

Volltext

Model-based mutation testing—Approach and case studies von Belli, Fevzi, Budnik, Christof J., Hollmann, Axel, Tuglular, Tugkan, Wong, W. Eric

Volltext

The relationship between Kestel Polje system and the Antalya Tufa Plateau: Their morphotectonic evolution in Isparta Angle, Antalya-Turkey von Doğan, Uğur, Koçyiğit, Ali, Yeşilyurt, Serdar

Volltext

Development of the Kembos and Eynif structural poljes: Morphotectonic evolution of the Upper Manavgat River basin, central Taurides, Turkey von Doan, Uur, Kocyiit, Ali, Gokkaya, Ergin

Volltext

Extracting Combinatorial Test parameters and their values using model checking and evolutionary algorithms von Esfandyari, Sajad, Rafe, Vahid

Volltext

Novel application of attapulgite on high performance and low-cost humidity sensors von Duan, Zaihua, Zhao, Qiuni, Wang, Si, Yuan, Zhen, Zhang, Yajie, Li, Xian, Wu, Yingwei, Jiang, Yadong, Tai, Huiling

Volltext

Supporting automated containment checking of software behavioural models using model transformations and model checking von UL Muram, Faiz, Tran, Huy, Zdun, Uwe

Volltext

DevOps in practice: A multiple case study of five companies von Lwakatare, Lucy Ellen, Kilamo, Terhi, Karvonen, Teemu, Sauvola, Tanja, Heikkilä, Ville, Itkonen, Juha, Kuvaja, Pasi, Mikkonen, Tommi, Oivo, Markku, Lassenius, Casper

Volltext

Reducing climate impacts on karst groundwater resources by constructing a cave dam. A case study from Central Taurus Karst, Türkiye von Çelik, Mehmet, Çallı, Süleyman Selim, Altın, Seyit, Çallı, Kübra Özdemir

Volltext

Automated Model Driven Testing Using AndroMDA and UML2 Testing Profile in Scrum Process von Elallaoui, Meryem, Nafil, Khalid, Touahni, Raja, Messoussi, Rochdi

Volltext

Design aspects in consideration of hotspot phenomena in high-performance photovoltaic modules featuring different silicon solar cell architectures von Reichel, Christian, Forster, Jacob, Artha, Benedictus, Ingwersen, Kaare, Tummalieh, Ammar, Weber, Julian, Fokuhl, Esther, Rendler, Li Carlos, Neuhaus, Dirk Holger

Volltext