Using coverage to automate and improve test purpose based testing von Weiglhofer, Martin, Fraser, Gordon, Wotawa, Franz

Volltext

Photophysical properties of 2,6-dicyano- N, N, N ′, N ′-tetramethyl- p-phenylenediamine von Rosspeintner, A., Angulo, G., Weiglhofer, M., Landgraf, S., Grampp, G.

Volltext

Automatic Hardware Synthesis from Specifications: A Case Study von Bloem, R., Galler, S., Jobstmann, B., Piterman, N., Pnueli, A., Weiglhofer, M.

Volltext

Using Spectrum-Based Fault Localization for Test Case Grouping von Weiglhofer, M., Fraser, G., Wotawa, F.

Volltext

Automated Conformance Verification of Hybrid Systems von Brandl, H, Weiglhofer, M, Aichernig, Bernhard K

Volltext

Asynchronous Input-Output Conformance Testing von Weiglhofer, M., Wotawa, F.

Volltext

Improving Coverage Based Test Purposes von Weiglhofer, M., Wotawa, F.

Volltext

Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods von Aichernig, B.K., Peischl, B., Weiglhofer, M., Wotawa, F.

Volltext

The IntiSa Approach: Test Input Data Generation for Non-primitive Data Types by Means of SMT Solver Based Bounded Model Checking von Galler, S. J., Quaritsch, T., Weiglhofer, M., Wotawa, F.

Volltext

Coverage Based Testing with Test Purposes von Fraser, G., Weiglhofer, M., Wotawa, F.

Volltext

The CD63 basophil activation test in Hymenoptera venom allergy: a prospective study von Sturm, G. J., Böhm, E., Trummer, M., Weiglhofer, I., Heinemann, A., Aberer, W.

Volltext

Light (anti)nuclei production in Pb-Pb collisions at sNN=5.02 TeV von Acharya, S, Adamová, D, Adler, A, Aglieri Rinella, G, Agnello, M, Agrawal, N, Ahammed, Z, Ahmad, S, Ahn, S.U, Ahuja, I, Akindinov, A, Al-Turany, M, Aleksandrov, D, Alessandro, B, Alfanda, H.M, Alfaro Molina, R, Ali, B, Alici, A, Alizadehvandchali, N, Alkin, A, Alme, J, Alocco, G, Alt, T, Altsybeev, I, Anaam, M.N, Andrei, C, Andronic, A, Anguelov, V, Antinori, F, Antonioli, P, Apadula, N, Aphecetche, L, Appelshäuser, H, Arata, C, Arcelli, S, Aresti, M, Arnaldi, R, Arneiro, J.G.M.C.A, Arsene, I.C, Arslandok, M, Augustinus, A, Averbeck, R, Azmi, M.D, Badalà, A, Bae, J, Baek, Y.W, Bai, X, Bailhache, R, Bailung, Y, Balbino, A, Baldisseri, A, Balis, B, Banerjee, D, Banoo, Z, Barbera, R, Barile, F, Barioglio, L, Barlou, M, Barnaföldi, G.G, Barnby, L.S, Barret, V, Barreto, L, Bartels, C, Barth, K, Bartsch, E, Bastid, N, Basu, S, Batigne, G, Battistini, D, Batyunya, B, Bauri, D, Bazo Alba, J.L, Bearden, I.G, Beattie, C, Becht, P, Behera, D, Belikov, I, Bell Hechavarria, A.D.C, Bellini, F, Bellwied, R, Belokurova, S, Belyaev, V, Bencedi, G, Beole, S, Bercuci, A, Berdnikov, Y, Berdnikova, A, Bergmann, L, Besoiu, M.G, Betev, L, Bhaduri, P.P, Bhasin, A, Bhat, M.A, Bhattacharjee, B, Bianchi, L, Bianchi, N, Bielčík, J, Bielčíková, J, Biernat, J, Bigot, A.P

Volltext

First measurement of Λc+ production down to pT=0 in pp and p -Pb collisions at √sNN =5.02 TeV von Acharya, S, Adamová, D, Adler, A, Aglieri Rinella, Rinella, Agnello, M, Agrawal, N, Ahammed, Z, Ahmad, S, Ahn, S.U, Ahuja, I, Akindinov, A, Al-Turany, M, Aleksandrov, D, Alessandro, B, Alfanda, H.M, Alfaro Molina, Molina, Ali, B, Alici, A, Alme, Johan, Arsene, Ionut Cristian, Bodova, Tea, Djuvsland, Øystein, Eikeland, Viljar Nilsen, Ersdal, Magnus Rentsch, Helstrup, Håvard, Hetland, Kristin Fanebust, Kileng, Bjarte, Langøy, Rune, Lien, Jørgen André, Lofnes, Ingrid Mckibben, Malik, Qasim Waheed, Neagu, Alexandra, Nesbø, Simon Voigt, Nystrand, Joakim Ingemar, Rauch, Max Philip, Rehman, Attiq Ur, Reme-Ness, Haakon André, Richter, Matthias, Røed, Ketil, Röhrich, Dieter, Sætre, Jon-Are, Skaali, Toralf Bernhard, Solheim, Emilie Haugland, Storehaug, Ida Torkjellsdatter, Tambave, Ganesh Jagannath, Tveter, Trine Spedstad, Ullaland, Kjetil, Wikne, Jon Christopher, Yang, Shiming, Yuan, Shiming

Volltext

The negative index of refraction demystified von McCall, Martin W, Lakhtakia, Akhlesh, Weiglhofer, Werner S

Volltext

Photoproduction of low-pT J/ψ from peripheral to central Pb–Pb collisions at 5.02 TeV von Antonioli, P., Balbino, A., Balis, B., Batigne, G., Bielčíková, J., Buckland, M.D., Cheynis, B., Chinellato, D.D., Ciupek, M.R., Colamaria, F., Cortese, P., Cruz-Torres, R., Cunqueiro, L., Das, P., De Marco, N., De Martin, C., Dello Stritto, L., Dietel, T., Ercolessi, F., Eulisse, G., Evans, D., Figiel, J., Fokin, I., Gautam, A., Goh, D.J.Q., Gotovac, S., Graczykowski, L.K., Grelli, A., Gupta, R., Habib, M.K., Hamagaki, H., Haque, M.R., Herman, T., Herrmann, F., Horzyk, A., Hristov, P., Hushnud, H., Iddon, J.P., Ippolitov, M., Isidori, T., Jahnke, C., Junique, A., Kebschull, U., Kim, C., Kim, J., Kisel, I., Klay, J.L., Konopka, P.J., Kovalenko, V., Kučera, V., Lai, Y.S., Lamanna, M., Langoy, R., Lettrich, M., Lietava, R., Liu, J., Lopez, X., Mager, M., Manzari, V., Marín, A., Mazzilli, M., Meninno, E., Mhlanga, S., Mishra, A.N., Morozov, I., Musa, L., Nair, R., Nattrass, C., Pereira Da Costa, H., Petrov, V., Pezzi, R.P., Płoskoń, M., Ramello, L., Read, K.F., Redlich, K., Rokita, P.S., Rosano, A., Schicker, R., Sekiguchi, Y., Sekihata, D., Sibiriak, Y., Simeonov, R., Sitar, B., Skorodumovs, G., Sorensen, S.P., Stachel, J., Tapia Takaki, J.D., Tarzila, M.G., Tersimonov, G., Thakur, S., Triolo, A.S., van Veen, C.A., van Weelden, R.J.G., Vermunt, L., Voloshin, S.A., Volpe, G., Wessels, J.P., Yuan, S., Zanoli, H.J.C., Zhang, S.

Volltext

Measurement of beauty-strange meson production in Pb–Pb collisions at sNN=5.02TeV via non-prompt Ds+ mesons von Andrei, C., Antonioli, P., Bai, X., Balbino, A., Balis, B., Batigne, G., Bielčíková, J., Buckland, M.D., Bufalino, S., Cheynis, B., Chinellato, D.D., Ciupek, M.R., Colamaria, F., Cortese, P., Cruz-Torres, R., Cunqueiro, L., Das, P., De Marco, N., De Martin, C., Dello Stritto, L., Dietel, T., Ercolessi, F., Eulisse, G., Evans, D., Figiel, J., Fokin, I., Gautam, A., Goh, D.J.Q., Gotovac, S., Graczykowski, L.K., Grelli, A., Gupta, R., Habib, M.K., Hamagaki, H., Haque, M.R., Herman, T., Herrmann, F., Horzyk, A., Hristov, P., Hushnud, H., Iddon, J.P., Ippolitov, M., Isidori, T., Jahnke, C., Junique, A., Kebschull, U., Kim, C., Kim, J., Kisel, I., Klay, J.L., Konopka, P.J., Kovalenko, V., Kučera, V., La Rocca, P., Lai, Y.S., Lakrathok, A., Lamanna, M., Langoy, R., Lettrich, M., Lietava, R., Liu, J., Lopez, X., Mager, M., Manzari, V., Marín, A., Mazzilli, M., Meninno, E., Mhlanga, S., Mishra, A.N., Morozov, I., Musa, L., Nair, R., Nattrass, C., Pereira Da Costa, H., Petrov, V., Pezzi, R.P., Płoskoń, M., Ramello, L., Read, K.F., Redlich, K., Rokita, P.S., Rosano, A., Sahoo, S., Schicker, R., Sekiguchi, Y., Sekihata, D., Sibiriak, Y., Simeonov, R., Sitar, B., Skorodumovs, G., Sorensen, S.P., Stachel, J., Tapia Takaki, J.D., Valle, N., van Leeuwen, M., Varga-Kofarago, M., Vázquez Doce, O., Voloshin, K., Vrláková, J., Yadav, A.K.

Volltext

Neutron emission in ultraperipheral Pb-Pb collisions at sNN=5.02 TeV von Andronic, A., Barnby, L. S., Bartsch, E., Battistini, D., Bazo Alba, J. L., Belyaev, V., Bergmann, L., Bhat, M. A., Bianchi, L., Bize, N., Bock, F., Broz, M., Bruno, G. E., Cai, M., Crochet, P., Das, S., Dash, A. R., de Cuveland, J., De Marco, N., Dhankher, P., Dönigus, B., Elia, D., Eulisse, G., Evans, D., Fan, F., Fan, W., Ferrer, M. B., Ferrero, A., Feuillard, V. G., Fionda, F. M., Furs, A., Garcia, J. A., Glimos, E., Gunji, T., Haque, M. R., Herman, T., Hillemanns, H., Hohlweger, B., Hristov, P., Iddon, J. P., Ilkaev, R., Isidori, T., Ivanov, M., Jimenez, A. P., Keijdener, D. D., Klein, J., Kotliarov, A., Králik, I., Kryshen, E., Kumar, L., Kweon, M. J., Kwon, Y., Margagliotti, G. V., Martinengo, P., Matyja, A., Miake, Y., Migliorin, L. C., Modak, A., Moravcova, Z., Murray, S., Musa, L., Naik, B., Nappi, E., Otwinowski, J., Pagano, D., Paić, G., Pereira, L. G., Quishpe, R. E., Ragoni, S., Reidt, F., Riabov, A., Ristea, C., Ronchetti, F., Rui, R., Rytkonen, H., Sahoo, B., Salvan, M. P., Schambach, J., Sekiguchi, Y., Sharma, A., Sharma, D., Sibiriak, Y., Singh, V. K., Sinha, T., Steffanic, P. J., Suljic, M., Torales-Acosta, F., Tripathy, T., Tveter, T. S., van Weelden, R. G., Vasileiou, M., Vinogradov, A., Vodopyanov, A., Völkl, M. A., Volpe, G., Wessels, J. P., Wiechula, J., Willems, G. A., Yamakawa, K., Zherebchevskii, V.

Volltext

Measurement of non-prompt D0-meson elliptic flow in Pb–Pb collisions at sNN=5.02 TeV von Acharya, S, Ahn, S. U, Ahuja, I, Alkin, A, Andreou, N, Appelshäuser, H, Arneiro, J. G. M. C. A, Barnaföldi, G. G, Barnby, L. S, Battistini, D, Bearden, I. G, Bergmann, L, Bhattacharjee, B, Bianchi, L, Broz, M, Buckland, M. D, Catalano, F, Chochula, P, Christiansen, P, Conesa del Valle, Z, Contreras, J. G, Cosentino, M. R, Das, P, Dash, A. R, Dixit, D. U, Dobrin, A, Dudi, S, Ejima, R, Ercolessi, F, Ferrandi, L, Germain, M, Grigoryan, S, Grosso, R, Guardiano, G. G, Hassan, H, Hauer, P, Heckel, S. T, Hoffmann, F. W, Isidori, T, Iversen, K. E, Jacazio, N, Jowett, J. M, Karatovic, D, Karavicheva, T, Khade, S. S, Khatun, A, Kondratyuk, E, Konopka, P. J, Kotliarov, A, Kumaoka, T, Kurashvili, P, Kurepin, A. B, Larionov, P, Lea, R, Lesser, E. D, Lietava, R, Mager, M, Mallick, N, Mandaglio, G, Martínez García, G, Mastroserio, A, Munzer, R. H, Murray, S, Nandi, B. K, Nellen, L, Nese, S, Nicassio, N, Pestov, Y, Pillot, P, Politano, S, Pradhan, K. K, Prasad, S, Rescakova, Z, Rosas, E. D, Ruggiano, D, Russek, P. G, Ryabov, Y, Saha, P, Shaba, T. J, Sheibani, O, Shigaki, K, Simeonov, R, Singh, B, Singhal, V, Smirnov, N, Tang, S, Tassielli, G. F, Tejeda Muñoz, G, Topilskaya, N, Tumkin, A, Vande Vyvre, P, Virta, M. M. O, Volkel, B, Vorobyev, I, Wilk, G, Yuncu, A, Zaccolo, V, Zhang, C, Zhi, Y, Zugravel, S. C

Volltext

Investigating strangeness enhancement in jet and medium via ϕ ( 1020 ) production in p -Pb collisions at s N N = 5.02 TeV von Acharya, S., Adamová, D., Agarwal, A., Aglieri Rinella, G., Aglietta, L., Agnello, M., Agrawal, N., Ahammed, Z., Ahmad, S., Ahn, S. U., Ahuja, I., Akindinov, A., Akishina, V., Al-Turany, M., Aleksandrov, D., Alessandro, B., Alfanda, H. M., Alfaro Molina, R., Ali, B., Alici, A., Alizadehvandchali, N., Alkin, A., Alme, J., Alocco, G., Alt, T., Altamura, A. R., Altsybeev, I., Alvarado, J. R., Alvarez, C. O. R., Anaam, M. N., Andrei, C., Andreou, N., Andronic, A., Andronov, E., Anguelov, V., Antinori, F., Antonioli, P., Apadula, N., Aphecetche, L., Appelshäuser, H., Arata, C., Arcelli, S., Aresti, M., Arnaldi, R., Arneiro, J. G. M. C. A., Arsene, I. C., Arslandok, M., Augustinus, A., Averbeck, R., Averyanov, D., Azmi, M. D., Baba, H., Badalà, A., Bae, J., Baek, Y. W., Bai, X., Bailhache, R., Bailung, Y., Bala, R., Balbino, A., Baldisseri, A., Balis, B., Banerjee, D., Banoo, Z., Barbasova, V., Barile, F., Barioglio, L., Barlou, M., Barman, B., Barnaföldi, G. G., Barnby, L. S., Barreau, E., Barret, V., Barreto, L., Bartels, C., Barth, K., Bartsch, E., Bastid, N., Basu, S., Batigne, G., Battistini, D., Batyunya, B., Bauri, D., Bazo Alba, J. L., Bearden, I. G., Beattie, C., Becht, P., Behera, D., Belikov, I., Bell Hechavarria, A. D. C., Bellini, F., Bellwied, R., Belokurova, S., Beltran, L. G. E., Beltran, Y. A. V., Bencedi, G., Bensaoula, A., Beole, S., Berdnikov, Y., Berdnikova, A.

Volltext

K(892)± resonance production in Pb-Pb collisions at sNN=5.02 TeV von Acharya, S., Aglieri Rinella, G., Akindinov, A., Al-Turany, M., Alme, J., Arcelli, S., Bae, J., Bazo Alba, J. L., Bianchi, L., Blau, D., Borel, H., Borissov, A., Bregant, M., Buesching, H., Camerini, P., Chakaberia, I., Christiansen, P., Chujo, T., Ciacco, M., Conesa del Valle, Z., Contin, G., Crochet, P., Danisch, M. C., Diaz, R. A., Faggin, M., Feliciello, A., Funicello, N., Garabatos, C., García Chávez, T., Ghimouz, A., Grelli, A., Grosa, F., Gupta, R., Haider, F. U., Huhn, P., Hutson, A., Jablonski, M., Jowett, J. M., Khan, A. M., Khanzadeev, A., Kim, B., Kisel, I., Kitowski, J. P., Kondratyeva, N., Lelek, T. M., Lien, J., Maire, A., Masciocchi, S., Mazzaschi, F., Mdhluli, J. E., Monira, S., Mulliri, A., Noferini, F., Nystrand, J., Panebianco, S., Pei, H., Peng, X., Pestov, Y., Pop, A., Prasad, S. K., Qiu, S., Quaglia, L., Rogoschinski, T. S., Röhrich, D., Romanenko, G., Rybicki, A., Saini, J., Scheid, H. S., Sevcenco, A., Shaba, T. J., Shabetai, A., Sharma, S., Sharma, U., Shin, J., Siemiarczuk, T., Song, J., Sukhanov, M., Sultanov, R., Szymkowski, M., Taillepied, G., Takahashi, J., Tarasovicova, L. A., Tassielli, G. F., Trifiró, A., Tripathy, S., Trzcinski, T. P., Usai, G. L., Vasileiou, M., Vermunt, L., Vértesi, R., Voloshin, S. A., Volpe, G., Vorobyev, I., Vrláková, J., Wan, J., Wiechula, J., Wikne, J., Yin, Z., Zhu, Y., Zugravel, S. C.

Volltext