Kao osnovno pitanje u ispitivanju softvera, automatsko generiranje podataka za ispitivanje je od najveće važnosti, što je u biti problem zadovoljavanja ograničenja, a rješava se algoritmima ...pretraživanja. U našem prethodnom istraživanju za rješenje ograničenja predložena je metoda grananja i ograničavanja, a elaborirane su unaprijedne metode. Zasnovan na intervalnom aritmetičkom i simboličkom izvršenju, ovaj je rad usredotočen na unatražnu metodu, a to je povezivanje unaprijednog provjeravanja i unatražnog ispitivanja usmjerenog konflikta, u cilju poboljšanja učinkovitosti unatražnog praćenja u postupku traženja. Zatvaranja varijabli se koriste kako bi se olakšalo lociranje nesuglasica koje dovode do neriješenih rezultata (dead ends). Empirijski eksperimenti dokazuju učinkovitost predložene hibridne unatražne metode i njenu primjenljivost u inženjerstvu.
Međukatne konstrukcije poslovnih i stambenih zgrada mogu biti izložene djelovanju dinamičkih sila uzrokovanih ljudskom aktivnošću tijekom hoda ili povremeno zbog trčanja, skakanja ili plesa. ...Posljednje tri aktivnosti osobito su izražene kada poslovni objekt u svom sadržaju ima staze za trčanje, prostorije za vježbanje, plesne dvorane ili sportske dvorane, čak ako su i manjih dimenzija. Odgovarajuća dinamička opterećenja i frekventna područja nabrojanih aktivnosti su opisana u ovom članku. Vibracije međukatnih konstrukcija u stambenim i poslovnim zgradama ovise o različitim čimbenicima, kao što su tlorisni raspored pregradnih zidova, namještaja, konstrukcija stropa, koncentracije opterećenja te geometrijski oblici podova. Ovi faktori utječu ne samo na vlastite oblike i prirodne frekvencije međukatnih konstrukcija, nego i na veličinu prigušenja. Stoga, izračun dinamičkih svojstava međukatnih konstrukcija te njihova odziva poradi nabrojanih dinamičkih opterećenja može biti prilično složen, a rezultati proračuna upitni. Zato su u ovom radu prikazane empirijske i mješovite metode njihova proračuna s praktičnim rješenjima za pojedine slučajeve.